An Adequate Logic for Full LOTOS

We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition systems.

• Type: Conference
• Year: 2001
• Where: FM
• Authors: Muffy Calder, Savi Maharaj, Carron Shankland
• Keywords: FM 2001, Formal Methods, Logic, LOTOS Processes, Symbolic Transition Systems