# M. W. Shields

According to our database

^{1}, M. W. Shields## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1999

An Acceptance Vector Semantics for Path Programs.

Fundam. Inform., 1999

Overtaking in Asynchronous Periodic Systems.

Formal Asp. Comput., 1999

1997

Cyclic Vector Languages.

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1992

Multitraces, Hypertraces and Partial Order Semantics.

Formal Asp. Comput., 1992

1989

Implicit System Specification and the Interface Equation.

Comput. J., 1989

1988

Behavioural Presentations.

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1985

Concurrent Machines.

Comput. J., 1985

1984

Non-Sequential Behaviour.

Proceedings of the International Symposium on Programming, 1984

Deterministic asynchronous automata.

Proceedings of the Automata on Infinite Words, 1984

1983

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

1981

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

1980

Verifying Concurrent System Specification in COSY.

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

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

1978

On the abstract specification and formal analysis of synchronization properties of concurrent systems.

Proceedings of the Mathematical Studies of Information Processing, 1978