Peter E. Lauer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 107452 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 4043257 (Why is no real title available?)	1987-01-01	Paper
Concurrent and maximally concurrent evolution of nonsequential systems Theoretical Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 3956419 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3902013 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3755835 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3725684 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3679171 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3707757 (Why is no real title available?)	1980-01-01	Paper
Towards an axiomatization of value-theory Notre Dame Journal of Formal Logic	1980-01-01	Paper
COSY - a system specification language based on paths and processes Acta Informatica	1979-01-01	Paper
scientific article; zbMATH DE number 3716769 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3716770 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3601083 (Why is no real title available?)	1978-01-01	Paper
A general mechanism for avoiding starvation with distributed control Information Processing Letters	1978-01-01	Paper
Formal semantics of a class of high-level primitives for coordinating concurrent processes Acta Informatica	1977-01-01	Paper
scientific article; zbMATH DE number 3588032 (Why is no real title available?)	1977-01-01	Paper
A search strategy for the elementary cycles of a directed graph BIT	1976-01-01	Paper
Formal semantics of a class of high-level primitives of coordinating concurrent processes Acta Informatica	1975-01-01	Paper
scientific article; zbMATH DE number 3562504 (Why is no real title available?)	1975-01-01	Paper
Consistent and complementary formal theories of the semantics of programming languages Acta Informatica	1974-01-01	Paper

Research outcomes over time

This page was built for person: Peter E. Lauer