M. W. Shields

According to our database1, M. W. Shields
  • authored at least 19 papers between 1978 and 1999.
  • has a "Dijkstra number"2 of four.

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


  Loading...