A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
1997
|
| _version_ | 1797069721834618880 |
|---|---|
| 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-06T22:28:39Z |
| format | Conference item |
| id | oxford-uuid:5787b321-0c43-480b-9791-23bd003e59d9 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:28:39Z |
| publishDate | 1997 |
| publisher | Springer−Verlag |
| record_format | dspace |
| spelling | oxford-uuid:5787b321-0c43-480b-9791-23bd003e59d92022-03-26T16:57:18ZA Type−theoretic Approach to Deadlock−freedom of Asynchronous SystemsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5787b321-0c43-480b-9791-23bd003e59d9Department of Computer ScienceSpringer−Verlag1997Abramsky, SGay, SNagarajan, R |
| spellingShingle | Abramsky, S Gay, S Nagarajan, R A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems |
| title | A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems |
| title_full | A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems |
| title_fullStr | A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems |
| title_full_unstemmed | A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems |
| title_short | A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems |
| title_sort | type theoretic approach to deadlock freedom of asynchronous systems |
| work_keys_str_mv | AT abramskys atypetheoreticapproachtodeadlockfreedomofasynchronoussystems AT gays atypetheoreticapproachtodeadlockfreedomofasynchronoussystems AT nagarajanr atypetheoreticapproachtodeadlockfreedomofasynchronoussystems AT abramskys typetheoreticapproachtodeadlockfreedomofasynchronoussystems AT gays typetheoreticapproachtodeadlockfreedomofasynchronoussystems AT nagarajanr typetheoreticapproachtodeadlockfreedomofasynchronoussystems |