A type reduction theory for systems with replicated components

DOI10.2168/LMCS-8(1:4)2012zbMath1241.68081arXiv1201.1716OpenAlexW3104292256MaRDI QIDQ2881070

Tomasz Mazur, Gavin Lowe

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.1716

zbMATH Keywords

model checkingCSPtype reductioncounter abstractionPMCP

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A type reduction theory for systems with replicated components