Event Structures, Causal Trees, and Refinements

Authors:
Philippe Darondeau;Pierpaolo Degano
Affiliations:
-;-
Venue:
MFCS '90 Proceedings of the Mathematical Foundations of Computer Science 1990
Year:
1990

Citing 0
Cited 2

A simple process algebra based on atomic actions with resources

Mathematical Structures in Computer Science
On using syntactic action refinement to derive compositionally a timed efficient implementation

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

Quantified Score

Hi-index	0.00

Visualization

Abstract