Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540534792, 9783540468974

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concurrency and computability

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_9 ◽

1990 ◽

pp. 223-238 ◽

Author(s):

Ph. Darondeau

Download Full-text

On distributed languages and models for distributed computation

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_19 ◽

1990 ◽

pp. 434-456 ◽

Author(s):

Brigitte Rozoy

Keyword(s):

Distributed Computation

Download Full-text

Approaching fair computations by ultra metrics

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_18 ◽

1990 ◽

pp. 420-433 ◽

Author(s):

Lutz Priese

Download Full-text

Equivalences and refinement

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_13 ◽

1990 ◽

pp. 309-333 ◽

Author(s):

Rob J. Glabbeek ◽

Ursula Goltz

Download Full-text

Observers, experiments, and agents: A comprehensive approach to parallelism

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_16 ◽

1990 ◽

pp. 375-406 ◽

Author(s):

Stefano Kasangian ◽

Anna Labella ◽

Alberto Pettorossi

Keyword(s):

Comprehensive Approach

Download Full-text

Infinite traces

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_12 ◽

1990 ◽

pp. 277-308 ◽

Author(s):

Paul Gastin

Download Full-text

Three equivalent semantics for CCS

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_5 ◽

1990 ◽

pp. 96-141 ◽

Author(s):

Gérard Boudol ◽

Ilaria Castellani

Download Full-text

Action versus state based logics for transition systems

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_17 ◽

1990 ◽

pp. 407-419 ◽

Author(s):

Rocco Nicola ◽

Frits Vaandrager

Keyword(s):

Transition Systems

Download Full-text

Flow event structures and flow nets

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_4 ◽

1990 ◽

pp. 62-95 ◽

Author(s):

Gérard Boudol

Keyword(s):

Event Structures

Download Full-text

Fault-tolerant naming and mutual exclusion

Semantics of Systems of Concurrent Processes - Lecture Notes in Computer Science ◽

10.1007/3-540-53479-2_3 ◽

1990 ◽

pp. 50-61

Author(s):

Joffroy Beauquier

Keyword(s):

Fault Tolerant ◽

Mutual Exclusion

Download Full-text