A Tracking Semantics for CSP

DOI10.1007/978-3-642-13321-3_15zbMath1286.68083OpenAlexW1571812885MaRDI QIDQ3575275

Marisa Llorens, Salvador Tamarit, Josep Silva, Javier Oliver

Publication date: 26 July 2010

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-13321-3_15

zbMATH Keywords

trackingsemanticsCSPconcurrent programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Tracking CSP computations

Uses Software

• CSP

This page was built for publication: A Tracking Semantics for CSP