scientific article; zbMATH DE number 2102773
From MaRDI portal
Publication:4818861
zbMath1046.68629MaRDI QIDQ4818861
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
A format for semantic equivalence comparison ⋮ A general conservative extension theorem in process algebras with inequalities ⋮ An alternative formulation of operational conservativity with binding terms. ⋮ On the axiomatisability of priority. III: Priority strikes again ⋮ Rooted branching bisimulation as a congruence ⋮ Variable binding operators in transition system specifications ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Unnamed Item ⋮ A conservative look at operational semantics with variable binding ⋮ Operational semantics of rewriting with priorities ⋮ Universal coalgebra: A theory of systems ⋮ A comparison of Statecharts step semantics ⋮ Algebraic specification of agent computation
This page was built for publication:
