Models for CSP with availability information

DOI10.1017/S0960129514000334zbMath1362.68217arXiv1011.6434OpenAlexW3103687136MaRDI QIDQ2971074

Gavin Lowe

Publication date: 4 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Revivals, stuckness and the hierarchy of CSP models
• A calculus of communicating systems
• Testing equivalences for processes
• Understanding concurrent systems
• Unnamed Item