scientific article

zbMath0628.68022MaRDI QIDQ3765231

Arthur J. Milner, Kim Guldstrand Larsen

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationcorrectnessbisimulationconcurrencycommunicating systemsAlternating Bit Protocolcompositional proof method

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Fair testing, SAT-based verification for timed component connectors, Partial specifications and compositional verification, An algebraic verification of a mobile network, Modular specification of process algebras, Deciding bisimulation equivalences for a class of non-finite-state programs