M. W. Shields

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	1999
j6		David H. Pitt, M. W. Shields: Overtaking in Asynchronous Periodic Systems. Formal Asp. Comput. 11(5): 567-590 (1999)
j5		M. W. Shields: An Acceptance Vector Semantics for Path Programs. Fundam. Inform. 40(2-3): 285-316 (1999)
	1997
c13		M. W. Shields: Cyclic Vector Languages. CONCUR 1997: 25-44
	1992
j4		M. W. Shields: Multitraces, Hypertraces and Partial Order Semantics. Formal Asp. Comput. 4(6A): 649-672 (1992)
	1989
j3		M. W. Shields: Implicit System Specification and the Interface Equation. Comput. J. 32(5): 399-412 (1989)
	1988
c12		M. W. Shields: Behavioural Presentations. REX Workshop 1988: 673-689
	1985
j2		M. W. Shields: Concurrent Machines. Comput. J. 28(5): 449-465 (1985)
	1984
c11		M. W. Shields: Deterministic asynchronous automata. Automata on Infinite Words 1984: 89-98
c10		M. W. Shields: Non-Sequential Behaviour. Symposium on Programming 1984: 229-239
	1983
c9		M. W. Shields: The Train Set Problem. The Analysis of Concurrent Systems 1983: 389-396
c8		Eike Best, M. W. Shields: Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. CAAP 1983: 141-154
	1981
c7		Peter E. Lauer, M. W. Shields: Interpreted COSY Programs: Programming and Verification. ICDCS 1981: 137-147
c6		Peter E. Lauer, M. W. Shields, John Yiannis Cotronis: Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC 1981: 115-151
	1980
c5		M. W. Shields, Peter E. Lauer: Verifying Concurrent System Specification in COSY. MFCS 1980: 576-586
	1979
j1		Peter E. Lauer, Piero R. Torrigiani, M. W. Shields: COSY - A System Specification Language Based on Paths and Processes. Acta Inf. 12: 109-158 (1979)
c4		Peter E. Lauer, M. W. Shields, Eike Best: Design & Analysis of Highly Parallel & Distributed Systems. Abstract Software Specifications 1979: 451-503
c3		M. W. Shields, Peter E. Lauer: A Formal Semantics for Concurrent Systems. ICALP 1979: 571-584
c2		M. W. Shields: Adequate Path Expressions. Semantics of Concurrent Computation 1979: 249-265
	1978
c1		Peter E. Lauer, M. W. Shields: On the abstract specification and formal analysis of synchronization properties of concurrent systems. Mathematical Studies of Information Processing 1978: 1-32

Coauthor Index

1	Eike Best	[c8] [c4]
2	Yannis Cotronis (Yiannis Cotronis, John Yiannis Cotronis)	[c6]
3	Peter E. Lauer	[c7] [c6] [c5] [j1] [c4] [c3] [c1]
4	David H. Pitt	[j6]
5	Piero R. Torrigiani	[j1]

Last update Sun May 26 08:01:12 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page