مرکز منطقه ای اطلاع رساني علوم و فناوري - Refinement of actions for real-time concurrent systems with causal ambiguity

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 :

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 :