Maximal Confluent Processes

DOI10.1007/978-3-642-31131-4_11zbMath1357.68145OpenAlexW2183630068MaRDI QIDQ2908207

Xu Wang

Publication date: 4 September 2012

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-31131-4_11

Mathematics Subject Classification ID

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

Related Items (1)

Tracking CSP computations

This page was built for publication: Maximal Confluent Processes