Categories of Processes Enriched in Final Coalgebras
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Modelling with hierarchical object Petri nets
Fundamenta Informaticae - Concurrency specification and programming
Information and Computation
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
A Concurrent Model for Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
On the compositionality of round abstraction
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Hi-index | 0.00 |