Modular system development with pullbacks

DOI10.1007/3-540-44919-1_12MaRDI QIDQ3550615zbMATH OpenOpenAlexFDO

Authors Marek Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wiesław Pawłowski, 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

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

Recommendations

• Limits of modularity
• Applications and Theory of Petri Nets 2004
• Categorical semantics of parallel program design
• scientific article; zbMATH DE number 3921989
• The categorical framework of object-oriented concurrent systems

Cited in

(3)

• Controller synthesis for bisimulation equivalence
• Limits of modularity
• Applications and Theory of Petri Nets 2004

This page was built for publication: Modular system development with pullbacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550615)