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 is missing.