M. W. Shields
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1979–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CONCUR | Cyclic Vector Languages. | M. W. Shields |
| 1981 | ICDCS | Interpreted COSY Programs: Programming and Verification. | Peter E. Lauer, M. W. Shields |
| 1980 | MFCS | Verifying Concurrent System Specification in COSY. | M. W. Shields, Peter E. Lauer |
| 1979 | ICALP | A Formal Semantics for Concurrent Systems. | M. W. Shields, Peter E. Lauer |