Treffer: Ambient Abstract State Machines with applications

Title:
Ambient Abstract State Machines with applications
Authors:
Börger, Egon ⁎, Cisternino, Antonio, Gervasi, Vincenzo
Source:
In Journal of Computer and System Sciences May 2012 78(3):939-959
Database:
ScienceDirect