Conference Paper (published)
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.
| Status | Published |
|---|---|
| Title of series | Lecture Notes in Computer Science |
| Number in series | 2021 |
| Publication date | 31/12/2001 |
| URL | http://hdl.handle.net/1893/10698 |
| Publisher | Springer |
| Publisher URL | http://link.springer.com/chapter/10.1007/3-540-45251-6_21 |
| Place of publication | Berlin Heidelberg |
| ISSN of series | 0302-9743 |
| ISBN | 978-3-540-41791-0 |
| Conference | International Symposium of Formal Methods Europe |
| Conference location | Berlin, Germany |
| Dates | – |
People (1)
Senior Lecturer, Computing Science