Home Explore Help
Register Sign In
anomie
/
pdf-collection
Watch 2
Star 0
Fork 1
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
pdf-collection
/
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations - Slides (serbanuta-rosu-2012-icgt-slides).pdf

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations - Slides (serbanuta-rosu-2012-icgt-slides).pdf 914 KB
Permalink History Raw