Symbolic semantics and bisimulation for full LOTOS

Calder, M. and Shankland, C. (2001) Symbolic semantics and bisimulation for full LOTOS. In: 21st International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, 28-31 August 2001, pp. 185-200. ISBN 0792374703

Abstract

No abstract avaliable

• Item Type: Conference Proceedings
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Calder, Professor Muffy
• Authors: Calder, M., and Shankland, C.
• Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
• College/School: College of Science and Engineering > School of Computing Science
• Publisher: Kluwer Academic Publishers
• ISBN: 0792374703
• Copyright Holders: Copyright © 2001 Kluwer Academic Publishers
• First Published: First published in Proceedings of Forte 2001, 21st International Conference on Formal Techniques for Networked and Distributed Systems
• Publisher Policy: Reproduced in accordance with the copyright policy of the publisher