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 (15)
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
This page was built for publication:
