Finite state machine based SDL

Sinnott, R.O. and Hogrefe, D. (2001) Finite state machine based SDL. In: Bowman, H. and Derrick, J. (eds.) Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press: Cambridge, UK, pp. 55-76. ISBN 9780521771849

Abstract

No abstract available.

• Item Type: Book Sections
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Sinnott, Professor Richard
• Authors: Sinnott, R.O., and Hogrefe, D.
• Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
• College/School: University Services > IT Services > Computing Service
• Publisher: Cambridge University Press
• ISBN: 9780521771849
• Copyright Holders: Copyright © 2001 Cambridge University Press
• Publisher Policy: Reproduced with the permission of the publisher.