ask others

Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France

> Home > Conferences and Workshops > Semantics of Systems of Concurrent Processes

- no documents available
- export record
  dblp key:
  - conf/litp/1990
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/1990
Irène Guessarian:
Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings. Lecture Notes in Computer Science 469, Springer 1990, ISBN 3-540-53479-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/AstesianoGR90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/AstesianoGR90
Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic. 1-20
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/BakkerW90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/BakkerW90
J. W. de Bakker, J. H. A. Warmerdam:
Metric Pomset Semantics for a Concurrnt Language with Recursion. 21-49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Beauquier90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Beauquier90
Joffroy Beauquier:
Fault-Tolerant Naming and Mutual Exclusion. 50-61
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Boudol90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Boudol90
Gérard Boudol:
Flow Event Structures and Flow Nets. 62-95
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/BoudolC90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/BoudolC90
Gérard Boudol, Ilaria Castellani:
Three Equivalent Semantics for CCS. 96-141
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/BougeG90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/BougeG90
Luc Bougé, Patrick Garda:
Towards a Semantic Approach to SIMD Architectures and their Languages. 142-175
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Charron-Bost90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Charron-Bost90
Bernadette Charron-Bost:
Concerning the Size of Clocks. 176-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/CorradiniFM90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/CorradiniFM90
Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations. 185-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Darondeau90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Darondeau90
Philippe Darondeau:
Concurrency and Computability. 223-238
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/DarondeauD90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/DarondeauD90
Philippe Darondeau, Pierpaolo Degano:
Causal Trees: Interleaving + Causality. 239-255
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/DuchampK90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/DuchampK90
Gérard Duchamp, Daniel Krob:
Partially Commutative Formal Power Series. 256-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Gastin90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Gastin90
Paul Gastin:
Infinite Traces. 277-308
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/GlabbeeckG90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/GlabbeeckG90
Rob J. van Glabbeek, Ursula Goltz:
Equivalences and Refinement. 309-333
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Goltz90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Goltz90
Ursula Goltz:
CCS and Petri Nets. 334-357
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Guessarian90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Guessarian90
Irène Guessarian:
About Fixpoints for Concurrency. 358-374
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/KasangianLP90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/KasangianLP90
Stefano Kasangian, Anna Labella, Alberto Pettorossi:
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. 375-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/NicolaV90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/NicolaV90
Rocco De Nicola, Frits W. Vaandrager:
Action versus State based Logics for Transition Systems. 407-419
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Priese90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Priese90
Lutz Priese:
Approaching Fair Computations by Ultra Metrics. 420-433
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/litp/Rozoy90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/litp/Rozoy90
Brigitte Rozoy:
On Distributed Languages and Models for Distributed Computation. 434-456