Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy (2000) |
- A. Cavarra E. Riccobene A. Zavanella (2000) A. Cavarra E. Riccobene A. Zavanella "A Formal Model for the Parallel Semantics of P3L"
- Barbosa, Fernanda and Cunha, José C. (2000) Barbosa, Fernanda and Cunha, José C. "A coordination language for collective agent based systems: GroupLog" pp189-195
- Harrison C. J. and Majid Naeem (2000) Harrison C. J. and Majid Naeem "POOL: A PERSISTENT OBJECT-ORIENTED LANGUAGE"
- Kazuhiro Ogata and Kokichi Futatsugi (2000) Kazuhiro Ogata and Kokichi Futatsugi "Operational Semantics of Rewriting with the On-demand Evaluation Strategy"
- L. Bettini, M. Loreti, R. Pugliese. (2000) L. Bettini, M. Loreti, R. Pugliese. "Structured Nets in Klaim" pp174-180
- Miller, Quentin; and Sufrin, Bernard (2000) Miller, Quentin; and Sufrin, Bernard "Eclectic CSP: A Language of Concurrent Processes"
- Naftaly H. Minsky; Yaron M. Minsky; Victoria Ungur (2000) Naftaly H. Minsky; Yaron M. Minsky; Victoria Ungureanu "Making tuple spaces safe for heterogeneous distributed systems" pp218-226
|
|