Travelled to:2 × France
Collaborated with:J.Aguado M.Mendler R.v.Hanxleden B.Duderstadt C.Motika S.Mercer O.O'Brien
Talks about:synchron (2) sequenti (2) concurr (2) determinist (1) construct (1) program (1) conserv (1) ground (1) extens (1) comput (1)
Person: Insa Fuhrmann
DBLP: Fuhrmann:Insa
Contributed to:
2014
2013Wrote 2 papers:
- ESOP-2014-AguadoMHF #concurrent #programming
- Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
- DATE-2013-HanxledenMADFMMO #concurrent
- Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.