Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Graph Replacement Chemistry for DNA Processing
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
Bisimulation equivalences for graph grammars
Formal and natural computing
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Constraint validation support in visual model transformation systems
Acta Cybernetica
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
International Journal of Autonomic Computing
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Fundamenta Informaticae
ABSTRACT SEMANTICS FOR ESM SYSTEMS
Fundamenta Informaticae
EXPANDING GRAPH RELABELING SYSTEMS HAVE THE POWER OF RECURSIVE ENUMERABILITY
Fundamenta Informaticae
Hi-index | 0.00 |