Formal Modeling: Actors; Open Systems, Biological SystemsGul Agha, Olivier Danvy, José MeseguerHäftad, 2011566 kr
Concurrent Objects and BeyondKenjiro Taura, Etsuya Shibayama, Satoshi Matsuoka, Hidehiko Masuhara, Naoki Kobayashi, Atsushi Igarashi, Gul Agha E-bok2014732 kr
Formal Modeling: Actors; Open Systems, Biological SystemsJose Meseguer, Olivier Danvy, Gul Agha E-bok2011732 kr
Concurrent Objects and BeyondGul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro TauraHäftad, 2014566 kr