Simulating Truly Concurrent CSP

DOI10.1007/978-3-642-19829-8_9zbMath1325.68160OpenAlexW1881665920MaRDI QIDQ2999314

No author found.

Publication date: 12 May 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-19829-8_9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Simulating Truly Concurrent CSP

Uses Software

• CSP-prover
• FDR2

Cites Work

• Unnamed Item
• Step failures semantics and a complete proof system
• Simulating Truly Concurrent CSP
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Simulating Truly Concurrent CSP