Modular System Development with Pullbacks

DOI10.1007/3-540-44919-1_12zbMath1274.68220OpenAlexW1549321349MaRDI QIDQ3550615

Luca Bernardinello, Wiesław Pawłowski, M. Bednarczyk, Benoît Caillaud, Lucia Pomello

Publication date: 31 March 2010

Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00071758/file/RR-4828.pdf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items

Controller synthesis for bisimulation equivalence