search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Semantics of Systems of Concurrent Processes

Keyphrases

Publications

1990

Bernadette Charron-Bost
Concerning the Size of Clocks. Semantics of Systems of Concurrent Processes (1990)
Ursula Goltz
CCS and Petri Nets. Semantics of Systems of Concurrent Processes (1990)
Irène Guessarian
About Fixpoints for Concurrency. Semantics of Systems of Concurrent Processes (1990)
Joffroy Beauquier
Fault-Tolerant Naming and Mutual Exclusion. Semantics of Systems of Concurrent Processes (1990)
Lutz Priese
Approaching Fair Computations by Ultra Metrics. Semantics of Systems of Concurrent Processes (1990)
Paul Gastin
Infinite Traces. Semantics of Systems of Concurrent Processes (1990)
Rob J. van Glabbeek, Ursula Goltz
Equivalences and Refinement. Semantics of Systems of Concurrent Processes (1990)
Gérard Boudol, Ilaria Castellani
Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes (1990)
Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes (1990)
Philippe Darondeau, Pierpaolo Degano
Causal Trees: Interleaving + Causality. Semantics of Systems of Concurrent Processes (1990)
Rocco De Nicola, Frits W. Vaandrager
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes (1990)
Luc Bougé, Patrick Garda
Towards a Semantic Approach to SIMD Architectures and their Languages. Semantics of Systems of Concurrent Processes (1990)
Brigitte Rozoy
On Distributed Languages and Models for Distributed Computation. Semantics of Systems of Concurrent Processes (1990)
J. W. de Bakker, J. H. A. Warmerdam
Metric Pomset Semantics for a Concurrnt Language with Recursion. Semantics of Systems of Concurrent Processes (1990)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes (1990)
Gérard Duchamp, Daniel Krob
Partially Commutative Formal Power Series. Semantics of Systems of Concurrent Processes (1990)
Stefano Kasangian, Anna Labella, Alberto Pettorossi
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. Semantics of Systems of Concurrent Processes (1990)
Gérard Boudol
Flow Event Structures and Flow Nets. Semantics of Systems of Concurrent Processes (1990)
Philippe Darondeau
Concurrency and Computability. Semantics of Systems of Concurrent Processes (1990)

volume 469, 1990

Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings Semantics of Systems of Concurrent Processes 469 (1990)