Formal Modeling : Actors; Open Systems, Biological Systemsby Gul Agha, Olivier Danvy, José MeseguerWriting a summary for young readers…For young readersBook data: Open Library