scientific article
From MaRDI portal
Publication:3792231
zbMath0647.68033MaRDI QIDQ3792231
Jan Willem Klop, Jan A. Bergstra
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items
Continuity controlled hybrid automata, On the consistency of Koomen's fair abstraction rule, Logic of transition systems, The equational logic of fixed points, Essential transitions to bisimulation equivalences, An axiomatic semantics for the synchronous language Gentzen., Deciding observational congruence of finite-state CCS expressions by rewriting, Structured operational semantics and bisimulation as a congruence, Multi-Linear Iterative K-Σ-Semialgebras, Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?, The quest for minimal quotients for probabilistic and Markov automata, An axiomatic semantics for Esterel, A complete axiomatisation for observational congruence of finite-state behaviours, Finite axiom systems for testing preorder and De Simone process languages, A Generic Process Algebra