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
by
Muffy Calder
,
Carron Shankland
| Venue: | PROC. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS (FORTE XIV |
| Citations: | 32 - 6 self |
Document Versions
| A symbolic semantics and bisimulation for Full LOTOS –Muffy Calder, Carron Shankland — 2001 — PROC. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS (FORTE XIV |
| A Symbolic Semantics and Bisimulation for Full LOTOS –Muffy Calder, Carron Shankland — 2000 — Proc. Formal Techniques for Networked and Distributed Systems (FORTE XIV |
| A Symbolic Semantics and Bisimulation for Full LOTOS –Muffy Calder, Carron Shankland — 2000 — Proc. Formal Techniques for Networked and Distributed Systems (FORTE XIV |
| A symbolic semantics and bisimulation for Full LOTOS –Muffy Calder, Carron Shankland — 2001 — Proc. Formal Techniques for Networked and Distributed Systems (FORTE XIV |
