Formal Modeling: Actors, Open Systems, Biological Systems - Agha, Gul; Danvy, Olivier; Kanade, Takeo; Meseguer, José (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering