A graph abstract machine describing event structure composition (2006)

Cached

Download Links

by Claudia Faggian , Mauro Piccolo
Venue:In Proc. GT - VC, Graph Transformation for Verification and Concurrency, ENTCS
Citations:3 - 1 self

Document Versions

A graph abstract machine describing event structure composition –Claudia Faggian, Mauro Piccolo — 2006 — In Proc. GT - VC, Graph Transformation for Verification and Concurrency, ENTCS