BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lauer:Peter_E=

Contributed to:

ICALP 19791979
POPL 19751975

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.