Concurrent and maximally concurrent evolution of nonsequential systems
From MaRDI portal
Publication:1083185
DOI10.1016/0304-3975(86)90177-5zbMath0604.68006MaRDI QIDQ1083185
Ryszard Janicki, Raymond Devillers, Maciej Koutny, Peter E. Lauer
Publication date: 1986
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(86)90177-5
Petri nets; semantics of concurrency; analysis of nonsequential systems; concurrent executions; COSY path expression; maximally concurrent evolution
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
68N25: Theory of operating systems
Related Items
Uses Software