Testing Equivalences for Event Structures / P. America ; J. de Bakker: |
Designing Equivalent Semantic Models for Process Creation / E. Astesiano ; G. Reggio: |
An Outline of the SMoLCS Approach / M. Broy ; T. Streicher: |
Views of Distributed Systems / P. Degano ; R. De Nicola ; U. Montanari: |
CCS is an (Augmented) Contact Free C/E System / J.-Y. Girard: |
Linear Logic and Parallelism / A. Labella ; A. Pettorossi: |
Universal Models in Categories for Process Synchronization / G. Mirkowska ; A. Salwicki: |
On Axiomatic Definition of Max-Model of Concurrency |
Participants |
Testing Equivalences for Event Structures / P. America ; J. de Bakker: |
Designing Equivalent Semantic Models for Process Creation / E. Astesiano ; G. Reggio: |
An Outline of the SMoLCS Approach / M. Broy ; T. Streicher: |
Views of Distributed Systems / P. Degano ; R. De Nicola ; U. Montanari: |
CCS is an (Augmented) Contact Free C/E System / J.-Y. Girard: |
Linear Logic and Parallelism / A. Labella ; A. Pettorossi: |