Travelled to:1 × Austria
1 × USA
Collaborated with:M.W.Shields R.H.Campbell
Talks about:descript (1) express (1) concurr (1) system (1) semant (1) formal (1) petri (1) path (1) net (1)
Person: Peter E. Lauer
DBLP: Lauer:Peter_E=
Contributed to:
1979
1975Wrote 2 papers:
- ICALP-1979-ShieldsL #concurrent #semantics
- A Formal Semantics for Concurrent Systems (MWS, PEL), pp. 571–584.
- POPL-1975-LauerC #petri net
- A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.