Algebraic specification and verification of communication protocols

DOI10.1016/0167-6423(85)90002-4zbMath0559.68036OpenAlexW2165279813MaRDI QIDQ2265806

C. J. Koomen

Publication date: 1985

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(85)90002-4

zbMATH Keywords

algebraic specificationcommunication networkCCScommunication protocolsVerificationcalculus of communicating systems

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items (7)

On the consistency of Koomen's fair abstraction rule ⋮ Causal behaviours and nets ⋮ Keep it fair: equivalence and composition ⋮ Divergence and fair testing ⋮ An algebraic verification of a mobile network ⋮ Deciding bisimulation equivalences for a class of non-finite-state programs ⋮ Fair Π

This page was built for publication: Algebraic specification and verification of communication protocols