Adequacy-preserving transformations of COSY path programs
From MaRDI portal
Publication:1185020
DOI10.1016/0304-3975(92)90327-CzbMath0745.68075MaRDI QIDQ1185020
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- A method for stepwise refinement and abstraction of Petri nets
- Specification-oriented semantics for communicating processes
- Concurrent Machines
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Algebraic laws for nondeterminism and concurrency
- Proving the Correctness of Multiprocess Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item