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
Proving entailment between conceptual state specifications	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795195	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713579	1986-01-01	Paper
Reaching approximate agreement in the presence of faults	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

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: Eugene W. Stark