The Computer Journal 1973 16(3):223-225; doi:10.1093/comjnl/16.3.223
© 1973 by British Computer Society
The deadly embracea finite state model approach
J. A. Llewellyn *
Department of Computer Studies, University of Lancaster, Bailrigg, UK
The paper sets up a finite state model for a simple problem of inter-related autonomous processing to illustrate the use of formal finite state analysis in investigating critical areas of interaction.
Received January 1970. Revised May 1972.
* Department of Computer Studies, University of Lancaster, Bailrigg, Lancaster

CiteULike
Connotea
Del.icio.us What's this?
Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our
Customer Services Department.