Generic tools for verifying concurrent systems
From MaRDI portal
Publication:5957895
DOI10.1016/S0167-6423(01)00033-8zbMath0987.68780MaRDI QIDQ5957895
Rance Cleaveland, Steven T. Sims
Publication date: 2 June 2002
Published in: Science of Computer Programming (Search for Journal in Brave)
Computing methodologies and applications (68U99) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Executable structural operational semantics in Maude ⋮ Process Algebra and Model Checking ⋮ Better automata through process algebra ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS
This page was built for publication: Generic tools for verifying concurrent systems
