Title of article
Modelling causality via action dependencies in branching time semantics
Author/Authors
Ursula Goltz، نويسنده , , Heike Wehrheim، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
6
From page
179
To page
184
Keywords
Equivalence notions , Trace theory , Fonnal semantics , concurrency
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128531
Link To Document