Вы здесь

Главная

Pisa

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

A lambda-calculus for concurrency (abstract/introduction)
An Experiment on Synthesis of Russian Parametric Constructions
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
Compositionality and Bisimulation: a negative result
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
Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics
Symbol Manipulation Languages: Proc./IFIP Working Conference, Pisa, September, 1966
Towards an Algebraic Theory of Concurrency
Towards the Derivation of an Experimental Programming Environment from Language Formal Specifications