An Operational Semantics for Concurrent TTCN

Thomas Walter, Bernhard Plattner. An Operational Semantics for Concurrent TTCN. In Gregor von Bochmann, Rachida Dssouli, Anindya Das, editors, Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992. Volume C-11 of IFIP Transactions, pages 131-143, North-Holland, 1992.

Abstract

Abstract is missing.