ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The box algebra = Petri nets + process expressions
Information and Computation
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Towards Petri net calculi based on synchronization via places
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Fundamenta Informaticae
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Model-checking games for fixpoint logics with partial order models
Information and Computation
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Fundamenta Informaticae
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
| Hi-index | 0.00 |