Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
| Үндсэн зохиолчид: | , , , , , |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
Springer Berlin/Heidelberg
1995
|
| _version_ | 1826306522313916416 |
|---|---|
| author | Roscoe, A Gardiner, P Goldsmith, M Hulance, J Jackson, D Scattergood, J |
| author_facet | Roscoe, A Gardiner, P Goldsmith, M Hulance, J Jackson, D Scattergood, J |
| author_sort | Roscoe, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:49:13Z |
| format | Conference item |
| id | oxford-uuid:fbf2b1df-e6b1-40b7-824d-2c7f9439f60b |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:49:13Z |
| publishDate | 1995 |
| publisher | Springer Berlin/Heidelberg |
| record_format | dspace |
| spelling | oxford-uuid:fbf2b1df-e6b1-40b7-824d-2c7f9439f60b2022-03-27T13:17:19ZHierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlockConference itemhttp://purl.org/coar/resource_type/c_5794uuid:fbf2b1df-e6b1-40b7-824d-2c7f9439f60bDepartment of Computer ScienceSpringer Berlin/Heidelberg1995Roscoe, AGardiner, PGoldsmith, MHulance, JJackson, DScattergood, J |
| spellingShingle | Roscoe, A Gardiner, P Goldsmith, M Hulance, J Jackson, D Scattergood, J Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock |
| title | Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock |
| title_full | Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock |
| title_fullStr | Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock |
| title_full_unstemmed | Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock |
| title_short | Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock |
| title_sort | hierarchical compression for model checking csp or how to check 10 20 dining philosophers for deadlock |
| work_keys_str_mv | AT roscoea hierarchicalcompressionformodelcheckingcsporhowtocheck1020diningphilosophersfordeadlock AT gardinerp hierarchicalcompressionformodelcheckingcsporhowtocheck1020diningphilosophersfordeadlock AT goldsmithm hierarchicalcompressionformodelcheckingcsporhowtocheck1020diningphilosophersfordeadlock AT hulancej hierarchicalcompressionformodelcheckingcsporhowtocheck1020diningphilosophersfordeadlock AT jacksond hierarchicalcompressionformodelcheckingcsporhowtocheck1020diningphilosophersfordeadlock AT scattergoodj hierarchicalcompressionformodelcheckingcsporhowtocheck1020diningphilosophersfordeadlock |