Automata, Languages and Programming

DOI10.1007/11523468zbMath1085.68098OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716867

Daniele Gorla, Rocco De Nicola, Rosario Pugliese

Publication date: 10 January 2006

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

Full work available at URL: https://doi.org/10.1007/11523468

Mathematics Subject Classification ID

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

Related Items (4)

Basic observables for a calculus for global computing ⋮ A theory of system behaviour in the presence of node and link failure ⋮ On the expressive power of \textsc{Klaim}-based calculi ⋮ Safety versus Security in the Quality Calculus

This page was built for publication: Automata, Languages and Programming