Modelling causality via action dependencies in branching time semantics.

Bibliographic Details
Published in:	Information processing letters. 59, 4 (1996).
Main Author:	Goltz, Ursula
Format:	Article
Language:	English
Subjects:	Concurrency. Formal semantics. Equivalence notions. Trace theory.