A symbolic semantics and bisimulation for Full LOTOS (2001)
Cached
Download Links
- [www.cs.stir.ac.uk]
- [www.cs.stir.ac.uk]
- [www.dcs.gla.ac.uk]
- [www.dcs.gla.ac.uk]
- [eprints.gla.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | PROC. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS (FORTE XIV |
| Citations: | 32 - 6 self |
BibTeX
@INPROCEEDINGS{Calder01asymbolic,
author = {Muffy Calder and Carron Shankland},
title = {A symbolic semantics and bisimulation for Full LOTOS},
booktitle = {PROC. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS (FORTE XIV},
year = {2001},
pages = {184--200},
publisher = {Kluwer Academic Publishers}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the standard one by giving meaning to symbolic, or (data) parameterised processes. Symbolic bisimulation is defined and illustrated with reference to examples. The approachtaken follows that applied to message passing CCS in [HL95], but differs in several significant aspects, taking account of the particular features of LOTOS: multi-way synchronisation, value negotiation, selection predicates.
Citations
| 147 | Symbolic bisimulations - Hennessy, Lin - 1992 |
| 20 | The Story of Therac-25 - Thomas - 1994 |
| 20 | Modelling and analysing user views of telecommunications services - Thomas - 1997 |
| 19 | A Modal Logic for Full LOTOS based on Symbolic Transition Systems - Calder, Maharaj, et al. |
| 16 | An Adequate Logic for Full LOTOS - Calder, Maharaj, et al. |
| 7 | From Data Structure to Process Structure - Brinksma - 1992 |
| 5 | Fundamentals of Algebraic Speci cation 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science - Ehrig, Mahr - 1985 |
| 5 | On the design of side-stick controllers in fly-by-wire aircraft - Thomas, Ormsby - 1994 |
| 3 | Veri cation of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): an Experiment with E-LOTOS - Sighireanu, Mateescu - 1998 |
| 2 | Simulation Techniques for the Validation of LOTOS Speci cations - Eertink - 1994 |
