Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Partial order semantics and read arcs
Theoretical Computer Science
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Net-Based Multi-tier Behavior Inheritance Modelling Method
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Petri net semantics of the finite π-calculus terms
Fundamenta Informaticae
A formal modeling approach for supply chain event management
Decision Support Systems
Unfolding semantics of graph transformation
Information and Computation
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
Time and Fairness in a Process Algebra with Non-blocking Reading
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A petri net translation of π-calculus terms
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Checking bounded reachability in asynchronous systems by symbolic event tracing
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Specification and verification of real-time systems using the POLA tool
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Petri Net Semantics of the Finite π-calculus Terms
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Hi-index | 0.00 |