Selected papers of the Second Workshop on Concurrency and compositionality
Elementary transition systems and refinement
Acta Informatica
Finite completeness of categories of petri nets
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Decompositions of Asynchronous Systems
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Dualities Between Nets and Automata Induced by Schizophrenic Objects
CTCS '95 Proceedings of the 6th International Conference on Category Theory and Computer Science
Categories of asynchronous systems
Categories of asynchronous systems
Fundamenta Informaticae
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
A Multi-facet Approach to Dynamic Agent Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the construction of pullbacks for safe petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A Multi-facet Approach to Dynamic Agent Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Fundamenta Informaticae
Hi-index | 0.00 |
Two, seemingly different modular techniques for concurrent system development are investigated from a categorical perspective. A novel approach is presented in which they turn out to be merely special instances of pullback, a general categorical limit construction. Interestingly, the approach is based on truly concurrent semantics of systems.