Search for Author All Reviews
	Shields, M     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Implicit system specification and the interface equation Shields M. The Computer Journal 32(5): 399-412, 1989.  Type: Article The CCS model of interprocess communication lends itself to the specification of module interfaces in terms of structures of messages. When a weakly determinate module q is specified and is broken into two submodules, one of whi...... Nov 1 1990     An introduction to automata theory Shields M., Blackwell Scientific Publications, Ltd., Oxford, UK, 1987.  Type: Book (9789780632015535) This book is based on a course of ten one-hour lectures given by the author to third year computer science and computer systems engineering students at the University of Kent. . . . My main aim was to show that systems, of which...... Jan 1 1989
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy