×

zbMATH — the first resource for mathematics

An adequate logic for full LOTOS. (English) Zbl 0977.68608
Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 384-395 (2001).
Summary: We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation defined on symbolic transition systems.
For the entire collection see [Zbl 0977.68852].
MSC:
68U99 Computing methodologies and applications
68Q65 Abstract data types; algebraic specification
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Software:
Maude
PDF BibTeX XML Cite
Full Text: Link