default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSemantics of Systems of Concurrent Processes 1990: La Roche Posay, France
- 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 - Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic. 1-20 - J. W. de Bakker, J. H. A. Warmerdam:
Metric Pomset Semantics for a Concurrnt Language with Recursion. 21-49 - Joffroy Beauquier:
Fault-Tolerant Naming and Mutual Exclusion. 50-61 - Gérard Boudol:
Flow Event Structures and Flow Nets. 62-95 - Gérard Boudol, Ilaria Castellani
:
Three Equivalent Semantics for CCS. 96-141 - Luc Bougé, Patrick Garda:
Towards a Semantic Approach to SIMD Architectures and their Languages. 142-175 - Bernadette Charron-Bost:
Concerning the Size of Clocks. 176-184 - Andrea Corradini, Gian-Luigi Ferrari, Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations. 185-222 - Philippe Darondeau:
Concurrency and Computability. 223-238 - Philippe Darondeau, Pierpaolo Degano:
Causal Trees: Interleaving + Causality. 239-255 - Gérard Duchamp, Daniel Krob:
Partially Commutative Formal Power Series. 256-276 - Paul Gastin:
Infinite Traces. 277-308 - Rob J. van Glabbeek, Ursula Goltz:
Equivalences and Refinement. 309-333 - Ursula Goltz:
CCS and Petri Nets. 334-357 - Irène Guessarian:
About Fixpoints for Concurrency. 358-374 - Stefano Kasangian, Anna Labella, Alberto Pettorossi:
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. 375-406 - Rocco De Nicola, Frits W. Vaandrager:
Action versus State based Logics for Transition Systems. 407-419 - Lutz Priese:
Approaching Fair Computations by Ultra Metrics. 420-433 - Brigitte Rozoy:
On Distributed Languages and Models for Distributed Computation. 434-456
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
