The Saga of the Axiomatization of Parallel Composition

DOI10.1007/978-3-540-74407-8_2zbMath1151.68500OpenAlexW1663981556MaRDI QIDQ3525626

Luca Aceto, Anna Ingólfsdóttir

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_2

Mathematics Subject Classification ID

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

Related Items (2)

A quantitative study of pure parallel processes ⋮ Unnamed Item

This page was built for publication: The Saga of the Axiomatization of Parallel Composition