Shields, M. W. 1950-
Shields, M. W. (Michael William), 1950-
Shields, M. W., 19..-....
Shields, M. W. (Mike W.)
Michael W. Shields
Shields, Michael William Enduan, 1950-
Shields, Mike W
VIAF ID: 111220653 ( Personal )
Permalink: http://viaf.org/viaf/111220653
Preferred Forms
- 100 0 _ ‡a Michael W. Shields
-
- 100 1 _ ‡a Shields, M. W. ‡d 1950-
- 100 1 0 ‡a Shields, M. W. ‡q (Michael William), ‡d 1950-
-
- 100 1 _ ‡a Shields, M. W. ‡q (Mike W.)
- 100 1 _ ‡a Shields, M. W., ‡d 19..-....
-
-
4xx's: Alternate Name Forms (15)
Works
Title | Sources |
---|---|
Concurrency, correctness, proof and undecidability in SDL-like systems | |
Formal theory of the basic COSY notation | |
An introduction to automata theory | |
Non sequential behaviour:1 | |
Programming and verifying concurrent systems in cosy | |
Semantics for concurrency : proceedings of the International BCS-FACS Workshop, 23-25 July 1990, University of Leicester, UK | |
Semantics of parallelism : non-interleaving representation of behaviour | |
Serielle und parallele Automaten : Einführung in die Theorie |