A partial ordering semantics for CCS

Inductive definitions, semantics and abstract interpretations

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)

A causal semantics for CCS via rewriting logic

Theoretical Computer Science

True Concurrency in Models of Asynchronous Circuit Behavior

Formal Methods in System Design

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

Mathematical Structures in Computer Science

Formal Molecular Biology Done in CCS-R

Electronic Notes in Theoretical Computer Science (ENTCS)

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

ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS

Fundamenta Informaticae

Combining Ccs And Petri Nets Via Structural Axioms

Fundamenta Informaticae