Communicating Sequential Processes. The First 25 Years

DOI10.1007/b136154zbMath1081.68649OpenAlexW4213168192MaRDI QIDQ5709375

A. W. Roscoe, Tom Newcomb, Ranko Lazić

Publication date: 29 November 2005

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

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

zbMATH Keywords

arraysinfinite-state systemsModel checkingdata independence

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)

Related Items

Light-Weight SMT-based Model Checking