The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings
From MaRDI portal
Publication:1067764
zbMath0581.68002MaRDI QIDQ1067764
No author found.
Publication date: 1985
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedingsconcurrent systemsPetri netsConcurrent systemsalgebraic approach to concurrencyCambridge/U.K.sequential toolsspecification of non-sequential systemssynchronisation problemstemporal Logic
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of operating systems (68N25)
Related Items
Modular specification of process algebras ⋮ Expressibility of output equals input. Negative and positive results
This page was built for publication: The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings
