Conference Proceeding

An Adequate Logic for Full LOTOS

Details

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

People (2)

People

Dr Savi Maharaj
Dr Savi Maharaj

Senior Lecturer, Computing Science

Professor Carron Shankland
Professor Carron Shankland

Professor, Computing Science