A framework for state-space exploration of java-based actor programs

Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'A framework for state-space exploration of java-based actor programs'. Together they form a unique fingerprint.

Engineering & Materials Science