Peter E. Lauer

Available identifiers

zbMath Open lauer.peter-ernstMaRDI QIDQ1083184

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4023058	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3780449	1987-01-01	Paper
Concurrent and maximally concurrent evolution of nonsequential systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725531	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680255	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939202	1981-01-01	Paper
Towards an axiomatization of value-theory	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875334	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3899505	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914418	1980-01-01	Paper
COSY - a system specification language based on paths and processes	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907056	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907057	1979-01-01	Paper
A general mechanism for avoiding starvation with distributed control	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167546	1978-01-01	Paper
Formal semantics of a class of high-level primitives for coordinating concurrent processes	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4155818	1977-01-01	Paper
A search strategy for the elementary cycles of a directed graph	1976-01-01	Paper
Formal semantics of a class of high-level primitives of coordinating concurrent processes	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134954	1975-01-01	Paper
Consistent and complementary formal theories of the semantics of programming languages	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter E. Lauer