Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
On Plain and Hereditary History-Preserving Bisimulation
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Bisimulation equivalences for graph grammars
Formal and natural computing
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Theoretical Computer Science
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Adhesive DPO Parallelism for Monic Matches
Electronic Notes in Theoretical Computer Science (ENTCS)
New Bisimulation Semantics for Distributed Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Symmetries, local names and dynamic (de)-allocation of names
Information and Computation
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Structuring acyclic process models
Information Systems
Generalized aggregate Quality of Service computation for composite services
Journal of Systems and Software
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Avoiding shared clocks in networks of timed automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Simplifying discovered process models in a controlled manner
Information Systems
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |