Nets, Relations and Linking Diagrams

DOI10.1007/978-3-642-40206-7_21zbMath1394.68256arXiv1303.3371OpenAlexW2963893419MaRDI QIDQ2848956

Paweł Sobociński

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.3371

Mathematics Subject Classification ID

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

Related Items (4)

Towards compositional graph theory ⋮ Associative composition of components with double-sided interfaces ⋮ The algebra of partial equivalence relations ⋮ Refinement for signal flow graphs

This page was built for publication: Nets, Relations and Linking Diagrams