A Formal Definition of Time in LOTOS

Luc LĂ©onard, Guy Leduc. A Formal Definition of Time in LOTOS. Formal Asp. Comput., 10(3):248-266, 1998. [doi]

Abstract

Abstract is missing.