M. W. Shields
According to our database1, M. W. Shields authored at least 19 papers between 1978 and 1999.
Legend:Book In proceedings Article PhD thesis Other
An Acceptance Vector Semantics for Path Programs.
Fundam. Inform., 1999
Overtaking in Asynchronous Periodic Systems.
Formal Asp. Comput., 1999
Cyclic Vector Languages.
Proceedings of the CONCUR '97: Concurrency Theory, 1997
Multitraces, Hypertraces and Partial Order Semantics.
Formal Asp. Comput., 1992
Implicit System Specification and the Interface Equation.
Comput. J., 1989
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
Comput. J., 1985
Proceedings of the International Symposium on Programming, 1984
Deterministic asynchronous automata.
Proceedings of the Automata on Infinite Words, 1984
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets.
Proceedings of the CAAP'83, 1983
The Train Set Problem.
Proceedings of the Analysis of Concurrent Systems, 1983
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.
Proceedings of the Formalization of Programming Concepts, 1981
Interpreted COSY Programs: Programming and Verification.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
Verifying Concurrent System Specification in COSY.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
COSY - A System Specification Language Based on Paths and Processes.
Acta Inf., 1979
Adequate Path Expressions.
Proceedings of the Semantics of Concurrent Computation, 1979
A Formal Semantics for Concurrent Systems.
Proceedings of the Automata, 1979
Design & Analysis of Highly Parallel & Distributed Systems.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979
On the abstract specification and formal analysis of synchronization properties of concurrent systems.
Proceedings of the Mathematical Studies of Information Processing, 1978