Formal modeling: actors, open systems, biological systems : essays… by Talcott, Carolyn L., Danvy, Olivier, Meseguer, José, Agha, Gul, (Gul A.) fromLecture Notes in Computer Science 0 Type: Book