Travelled to:1 × Austria
Collaborated with:P.E.Lauer
Talks about:concurr (1) system (1) semant (1) formal (1)
Person: M. W. Shields
DBLP: Shields:M=_W=
Contributed to:
1979Wrote 1 papers:
- ICALP-1979-ShieldsL #concurrent #semantics
- A Formal Semantics for Concurrent Systems (MWS, PEL), pp. 571–584.