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
https://portal.mardi4nfdi.de/entity/Q3914418	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875334	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3899505	1980-01-01	Paper
Towards an axiomatization of value-theory	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
https://portal.mardi4nfdi.de/entity/Q4167546	1978-01-01	Paper
A general mechanism for avoiding starvation with distributed control	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

This page was built for person: Peter E. Lauer