Event Structures, Causal Trees, and Refinements - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Philippe Darondeau, Pierpaolo Degano. Event Structures, Causal Trees, and Refinements. In Branislav Rovan, editor, Mathematical Foundations of Computer Science 1990, MFCS 90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings. Volume 452 of Lecture Notes in Computer Science, pages 239-245, Springer, 1990.

The following publications are possibly variants of this publication:

Refinement of Actions in Event Structures and Causal TreesPhilippe Darondeau, Pierpaolo Degano. TCS, 118(1):21-48, 1993.

runs on WebDSL