مرکز منطقه ای اطلاع رساني علوم و فناوري - Bundle event structures: A revised cpo approach

Title of article :

Bundle event structures: A revised cpo approach

Author/Authors :

Harald Fecher، نويسنده , , Mila Majster-Cederbaum، نويسنده , , Jinzhao Wu، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2002

Pages :

From page :

To page :

Keywords :

program specification , True concurrency , LOTOS , Bundle event structures , Complete partial order

Journal title :

Information Processing Letters

Serial Year :

2002

Journal title :

Information Processing Letters

Record number :

129534

Link To Document :