@book{c82199765cab4ad28bdeb2185d57f099,
title = "A verification exercise relating to specification styles in LOTOS",
abstract = "The design of complex distributed systems can be supported by a methodology where several, increasingly implementation-oriented, formal specifications are successively developed. The relative verification of such specifications is discussed in this memorandum using some example specifications in LOTOS. It is claimed that the adoption of common specification styles can simplify the verification task. Two congruence laws which are not contained in the LOTOS standard are presented.",
keywords = "Specification style, EWI-24723, Verification, LOTOS, IR-91288, Congruence",
author = "{van Sinderen}, {Marten J.}",
year = "1989",
language = "Undefined",
series = "Memoranda Informatica",
publisher = "University of Twente, Department of Computer Science",
number = "INF-89-18",
}