On congruences and partial orders

DOI10.1007/3-540-60246-1_149zbMath1193.68171OpenAlexW1510181236MaRDI QIDQ3569032

Paul Gastin, Serge Bauget

Publication date: 17 June 2010

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

Full work available at URL: https://doi.org/10.1007/3-540-60246-1_149

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Synchronization languages

This page was built for publication: On congruences and partial orders