Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday - Gul Agha, Olivier Danvy, José Meseguer ((Lecture Notes in Computer Science))