Eugene W. Stark

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
Connections between a concrete and an abstract model of concurrent systems Lecture Notes in Computer Science	2023-04-12	Paper
Compositional relational semantics for indeterminate dataflow networks Category Theory and Computer Science	2022-08-16	Paper
CONCUR 2003 - Concurrency Theory Lecture Notes in Computer Science	2010-03-30	Paper
Probabilistic I/O Automata: Theories of Two Equivalences CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
scientific article; zbMATH DE number 2040327 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 1956598 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1759599 (Why is no real title available?)	2002-11-28	Paper
scientific article; zbMATH DE number 1305005 (Why is no real title available?)	1999-06-17	Paper
scientific article; zbMATH DE number 1231448 (Why is no real title available?)	1998-12-10	Paper
Composition and behaviors of probabilistic I/O automata Theoretical Computer Science	1998-07-23	Paper
scientific article; zbMATH DE number 742725 (Why is no real title available?)	1995-04-09	Paper
scientific article; zbMATH DE number 517054 (Why is no real title available?)	1994-08-07	Paper
scientific article; zbMATH DE number 177823 (Why is no real title available?)	1993-05-18	Paper
Concurrent transition systems Theoretical Computer Science	1989-01-01	Paper
A proof of the Kahn principle for input/output automata Information and Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4060692 (Why is no real title available?)	1988-01-01	Paper
Proving entailment between conceptual state specifications Theoretical Computer Science	1988-01-01	Paper
Reaching approximate agreement in the presence of faults Journal of the ACM	1986-01-01	Paper
scientific article; zbMATH DE number 3943005 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3938541 (Why is no real title available?)	1985-01-01	Paper
Semaphore primitives and starvation-free mutual exclusion Journal of the ACM	1982-01-01	Paper

Research outcomes over time

This page was built for person: Eugene W. Stark