A Specification Structure for Deadlock−freedom of Synchronous Processes
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
1999
|
| _version_ | 1797063613660266496 |
|---|---|
| author | Abramsky, S Gay, S Nagarajan, R |
| author_facet | Abramsky, S Gay, S Nagarajan, R |
| author_sort | Abramsky, S |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T21:02:25Z |
| format | Conference item |
| id | oxford-uuid:3b5224ac-61e0-4891-94d1-816a2b15a78c |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:02:25Z |
| publishDate | 1999 |
| record_format | dspace |
| spelling | oxford-uuid:3b5224ac-61e0-4891-94d1-816a2b15a78c2022-03-26T14:06:56ZA Specification Structure for Deadlock−freedom of Synchronous ProcessesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3b5224ac-61e0-4891-94d1-816a2b15a78cDepartment of Computer Science1999Abramsky, SGay, SNagarajan, R |
| spellingShingle | Abramsky, S Gay, S Nagarajan, R A Specification Structure for Deadlock−freedom of Synchronous Processes |
| title | A Specification Structure for Deadlock−freedom of Synchronous Processes |
| title_full | A Specification Structure for Deadlock−freedom of Synchronous Processes |
| title_fullStr | A Specification Structure for Deadlock−freedom of Synchronous Processes |
| title_full_unstemmed | A Specification Structure for Deadlock−freedom of Synchronous Processes |
| title_short | A Specification Structure for Deadlock−freedom of Synchronous Processes |
| title_sort | specification structure for deadlock freedom of synchronous processes |
| work_keys_str_mv | AT abramskys aspecificationstructurefordeadlockfreedomofsynchronousprocesses AT gays aspecificationstructurefordeadlockfreedomofsynchronousprocesses AT nagarajanr aspecificationstructurefordeadlockfreedomofsynchronousprocesses AT abramskys specificationstructurefordeadlockfreedomofsynchronousprocesses AT gays specificationstructurefordeadlockfreedomofsynchronousprocesses AT nagarajanr specificationstructurefordeadlockfreedomofsynchronousprocesses |