[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 4037 || Defining Object-Oriented Execution Semantics Using Graph Transformations

✍ Scribed by Gorrieri, Roberto; Wehrheim, Heike

• Book ID: 118129027
• Publisher: Springer Berlin Heidelberg
• Year: 2006
• Weight: 446 KB
• Category: Article
• ISBN: 3540348956
• DOI: 10.1007/11768869_15