Relaxed models for rewriting logic
Theoretical Computer Science
Characterizing Timed Net Processes Categorically
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Axiomatization of the Coherence Property for Categories of Symmetries
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Hi-index | 0.01 |