Skip header navigation
×

Conference Proceeding

An Adequate Logic for Full LOTOS

Citation
Calder M, Maharaj S & Shankland C (2001) An Adequate Logic for Full LOTOS. In: Oliveira J & Zave P (eds.) FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science, 2021. International Symposium of Formal Methods Europe, Berlin, Germany, 12.03.2001-16.03.2001. Berlin Heidelberg: Springer, pp. 384-395. http://link.springer.com/chapter/10.1007/3-540-45251-6_21

Abstract
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.

StatusPublished
Author(s)Calder, Muffy; Maharaj, Savi; Shankland, Carron
Title of seriesLecture Notes in Computer Science
Number in series2021
Publication date31/12/2001
URLhttp://hdl.handle.net/1893/10698
PublisherSpringer
Publisher URLhttp://link.springer.com/chapter/10.1007/3-540-45251-6_21
Place of publicationBerlin Heidelberg
ISSN of series0302-9743
ISBN978-3-540-41791-0
ConferenceInternational Symposium of Formal Methods Europe
Conference locationBerlin, Germany
Dates
Scroll back to the top