Travelled to:1 × USA
Collaborated with:A.Desai S.A.Seshia S.Qadeer D.Broman
Talks about:synchroni (1) distribut (1) synchron (1) approxim (1) abstract (1) system (1) almost (1)
Person: John C. Eidson
DBLP: Eidson:John_C=
Contributed to:
2015Wrote 1 papers:
- CAV-2015-DesaiSQBE #abstraction #approximate #distributed
- Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.