Operational Petri net semantics for CCSP

Causal computing

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Composing, analyzing and validating software models to assess the performability of competing design candidates

Annals of Software Engineering

Transactions and Zero-Safe Nets

Unifying Petri Nets, Advances in Petri Nets

Stochastic Petri net semantics for stochastic process algebras

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

On the semantics of place/transition Petri nets

Mathematical Structures in Computer Science

Structured transition systems with parametric observations: observational congruences and minimal realizations

Mathematical Structures in Computer Science

A simple process algebra based on atomic actions with resources

Mathematical Structures in Computer Science

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Concurrency, Graphs and Models

TAPAs: A Tool for the Analysis of Process Algebras

Transactions on Petri Nets and Other Models of Concurrency I

Generating a Petri net from a CSP specification: A semantics-based method

Advances in Engineering Software

Petri nets for protocol engineering

Computer Communications

Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures

Fundamenta Informaticae

SYNCHRONIZATION IN PETRI NETS

Fundamenta Informaticae

Combining Ccs And Petri Nets Via Structural Axioms

Fundamenta Informaticae