Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5308397
DOI10.1007/b96393zbMath1126.68509OpenAlexW4299869287MaRDI QIDQ5308397
Sabina Rossi, Carla Piazza, Enrico Pivato
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96393
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 (4)
Equivalence checking 40 years after: a review of bisimulation tools ⋮ Unnamed Item ⋮ Persistent Stochastic Non-Interference ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
