Shallow linear action graphs and their embeddings

DOI10.1007/S001650200015zbMath1001.68084OpenAlexW2057007428MaRDI QIDQ699934

James J. Leifer, Arthur J. Milner

Publication date: 25 September 2002

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

graph embeddingprocess calculusaction calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

This page was built for publication: Shallow linear action graphs and their embeddings