scientific article; zbMATH DE number 1927576

zbMath1012.68135MaRDI QIDQ4484501

Jean Fanchon, Rémi Morin

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210402.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

Languages of higher-dimensional automata ⋮ Semantics of Deterministic Shared-Memory Systems ⋮ Shared-Memory Systems and Charts ⋮ Pomset Languages of Finite Step Transition Systems

This page was built for publication: