DMCA

Bigraphical semantics of higher-order mobile embedded resources with local names (2005)

by Mikkel Bundgaard , Thomas Hildebrandt
Venue:In Proceedings of the Graph Transformation for Verification and Concurrency workshop (GT-VC’05), Electronic Notes in Theoretical Computer Science
Citations:22 - 13 self