Title of article
Refinement of actions for real-time concurrent systems with causal ambiguity
Author/Authors
Mila Majster-Cederbaum، نويسنده , , Jinzhao Wu and Houguang Yue ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
30
From page
389
To page
418
Keywords
Concurrency · Action refinement · Causal ambiguity · Timed bundleevent structure with causal ambiguity
Journal title
acta Informatica
Serial Year
2006
Journal title
acta Informatica
Record number
287829
Link To Document