External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Symbolic Semantics and Bisimulation for Full LOTOS

Muffy Calder, Carron Shankland. A Symbolic Semantics and Bisimulation for Full LOTOS. In Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee, editors, Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21:::st::: International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. Volume 197 of IFIP Conference Proceedings, pages 185-200, Kluwer, 2001.

Authors

Muffy Calder

This author has not been identified. Look up 'Muffy Calder' in Google

Carron Shankland

This author has not been identified. Look up 'Carron Shankland' in Google
runs on