Formal Modeling: Actors; Open Systems, Biological SystemsGul Agha, Olivier Danvy, José MeseguerHäftad, 2011558 kr
Concurrent Objects and BeyondGul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro TauraHäftad, 2014558 kr
Formal Modeling: Actors; Open Systems, Biological SystemsGul Agha, Olivier Danvy, José MeseguerHäftad, 2011558 kr