Logics And Models Of Concurrent Systems
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1985 |
| Genres | Proceedings |
| Editors | Krzysztof Apt |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2021182 |
About Logics And Models Of Concurrent Systems
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference . . .