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