Eugene W. Stark

Available identifiers

zbMath Open stark.eugene-wMaRDI QIDQ1095648

List of research outcomes

Publication	Date of Publication	Type
Connections between a concrete and an abstract model of concurrent systems	2023-04-12	Paper
Compositional relational semantics for indeterminate dataflow networks	2022-08-16	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Probabilistic I/O Automata: Theories of Two Equivalences	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449542	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417945	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4536590	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4251928	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4222748	1998-12-10	Paper
Composition and behaviors of probabilistic I/O automata	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4327835	1995-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4282582	1994-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4038701	1993-05-18	Paper
Concurrent transition systems	1989-01-01	Paper
A proof of the Kahn principle for input/output automata	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795195	1988-01-01	Paper
Proving entailment between conceptual state specifications	1988-01-01	Paper
Reaching approximate agreement in the presence of faults	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713579	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709867	1985-01-01	Paper
Semaphore primitives and starvation-free mutual exclusion	1982-01-01	Paper

Research outcomes over time

This page was built for person: Eugene W. Stark