A True Concurrency Semantics for ET-LOTOS

Howard Bowman, Joost-Pieter Katoen. A True Concurrency Semantics for ET-LOTOS. In 1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan. pages 228-238, IEEE Computer Society, 1998. [doi]

Abstract

Abstract is missing.