مرکز منطقه ای اطلاع رساني علوم و فناوري - Unfolding semantics of graph transformation

Title of article :

Unfolding semantics of graph transformation

Author/Authors :

Paolo Baldan، نويسنده , , Andrea Corradini، نويسنده , , Ugo Montanari، نويسنده , , Leila Ribeiro، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2007

Pages :

From page :

733

To page :

782

Keywords :

Concurrency , unfolding , nondeterminism , Readarcs , Petri nets , Event structures , Graph transformation systems

Journal title :

Information and Computation

Serial Year :

2007

Journal title :

Information and Computation

Record number :

262407

Link To Document :