Publication:3777428

zbMath0637.68012MaRDI QIDQ3777428

Gianna Reggio, Egidio Astesiano, Martin Wirsing

Publication date: 1986

zbMATH Keywords

concurrent systems; algebraic specification; labelled transition systems; partial algebra; abstract data type; relational specifications

Mathematics Subject Classification ID

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

Proof systems for structured specifications with observability operators