The following pages link to Eugene W. Stark (Q1095648):
Displayed 21 items.
- Proving entailment between conceptual state specifications (Q1095649) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- A proof of the Kahn principle for input/output automata (Q1822994) (← links)
- (Q3709867) (← links)
- (Q3713579) (← links)
- Reaching approximate agreement in the presence of faults (Q3763582) (← links)
- (Q3795195) (← links)
- Semaphore primitives and starvation-free mutual exclusion (Q3954811) (← links)
- (Q4038701) (← links)
- (Q4222748) (← links)
- (Q4251928) (← links)
- (Q4282582) (← links)
- (Q4327835) (← links)
- (Q4417945) (← links)
- (Q4449542) (← links)
- (Q4536590) (← links)
- Compositional relational semantics for indeterminate dataflow networks (Q5096251) (← links)
- Probabilistic I/O Automata: Theories of Two Equivalences (Q5756615) (← links)
- Connections between a concrete and an abstract model of concurrent systems (Q5887511) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900566) (← links)