Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday - Agha, Gul; Danvy, Olivier; Meseguer, José (Springer Berlin Heidelberg, 2011)