An Operational Semantics of the I EUR-Calculus

Liwu Li. An Operational Semantics of the I EUR-Calculus. In Thomas Fahringer, M. H. Hamza, editors, Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005. pages 693-698, IASTED/ACTA Press, 2005.

Abstract

Abstract is missing.