Causal Trees: Interleaving + Causality

Authors:
Philippe Darondeau;Pierpaolo Degano
Affiliations:
-;-
Venue:
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Year:
1990

Citing 0
Cited 3

Observational Equivalences for Timed Stable Event Structures

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Causality versus true-concurrency

Theoretical Computer Science
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Concurrency, Graphs and Models

Quantified Score

Hi-index	0.00

Visualization

Abstract