Sciweavers

ASIAN
1998
Springer

Eventuality in LOTOS with a Disjunction Operator

13 years 7 months ago
Eventuality in LOTOS with a Disjunction Operator
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for example, disjunction, conjunction, greatest fixpoint, least fixpoint in
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ASIAN
Authors Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
Comments (0)