Вы здесь

Главная

Univ. di Pisa

Связанные издания:

A lambda-calculus for concurrency (abstract/introduction)
Boolen Algebras for Concurrency. Abstract
Causal Semantics in Process Algebra
Causal Trees: Interleaving + Causality
CCS is an (Augmented) Contact Free C/E System
CEDISYS Compositional Distributed Systems. State of the Art, Research Goals, References
Concurrency and Compositionality
Correctness Proofs of Program Transformation
On a Compositional Semantics for Hierarchies in Petri Nets and in Statecharts
Petri Net Semantics of Priorities
Predicates are Predicate Transformers: a unified compositional theory for concurrency
Processes as Data Types
Towards an Algebraic Theory of Concurrency