Publication:3792231
From MaRDI portal
zbMath0647.68033MaRDI QIDQ3792231
Jan A. Bergstra, Jan Willem Klop
Publication date: 1988
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems
Related Items
An axiomatic semantics for Esterel, Deciding observational congruence of finite-state CCS expressions by rewriting, On the consistency of Koomen's fair abstraction rule, Structured operational semantics and bisimulation as a congruence, A complete axiomatisation for observational congruence of finite-state behaviours, The equational logic of fixed points, Essential transitions to bisimulation equivalences, An axiomatic semantics for the synchronous language Gentzen., Finite axiom systems for testing preorder and De Simone process languages, Logic of transition systems, Continuity controlled hybrid automata