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