এই পাঠটি: 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. (eds.).