Lauer, Peter E., 1934-
Lauer, Peter E.
Lauer, Peter Ernst, 1934-
VIAF ID: 54801967 ( Personal )
Permalink: http://viaf.org/viaf/54801967
Preferred Forms
- 100 1 _ ‡a Lauer, Peter E
-
-
-
-
-
-
- 100 1 0 ‡a Lauer, Peter E., ‡d 1934-
- 100 1 _ ‡a Lauer, Peter Ernst ‡d 1934-
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Computer System dossiers | |
Formal definition of Algol 60, 1968: | |
Formal theory of the basic COSY notation | |
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada | |
ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario : proceedings | |
Method and notation for the formal definition of programming languages | |
Programming and verifying concurrent systems in cosy | |
Specification and analysis of concurrent systems : the COSY approach |