Вы здесь

Главная

Concurrency and Compositionality

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

A lambda-calculus for concurrency (abstract/introduction)
Boolen Algebras for Concurrency. Abstract
Causal Semantics in Process Algebra
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