Weak and Strong Composition of High-Level Petri-Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Generalised Composition Operations for High-level Petri Nets
Fundamenta Informaticae
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Fundamenta Informaticae
Hi-index | 0.00 |