Publication:3777428
From MaRDI portal
zbMath0637.68012MaRDI QIDQ3777428
Martin Wirsing, Egidio Astesiano, Gianna Reggio
Publication date: 1986
concurrent systems; algebraic specification; labelled transition systems; partial algebra; abstract data type; relational specifications
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N01: General topics in the theory of software
Related Items