Axiomatizing CCS, nets and processes
From MaRDI portal
Publication:1314538
DOI10.1016/0167-6423(93)90010-MzbMath0801.68114MaRDI QIDQ1314538
Ugo Montanari, Daniel Yankelevich, Nicoletta De Francesco
Publication date: 29 November 1994
Published in: Science of Computer Programming (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets
This page was built for publication: Axiomatizing CCS, nets and processes
