Perspectives of System Informatics

DOI10.1007/B94823zbMath1254.68145OpenAlexW4234004114MaRDI QIDQ5902411

Stefan Blom, Natalia Ioustinova, Natalia Sidorova

Publication date: 5 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94823

zbMATH Keywords

verificationmodellingdiscrete timemodel checking\(\mu \)CRL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items (3)

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Multiparty Contract Signing Over a Reliable Network ⋮ mCRL

This page was built for publication: Perspectives of System Informatics