Title of article
Unfolding semantics of graph transformation
Author/Authors
Paolo Baldan، نويسنده , , Andrea Corradini، نويسنده , , Ugo Montanari، نويسنده , , Leila Ribeiro، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
50
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