Travelled to:1 × Switzerland
Collaborated with:∅ P.Baldan Christina Mika-Michalski Tommaso Padoan
Talks about:fixpoint (1) process (1) generic (1) continu (1) system (1) output (1) lattic (1) capabl (1) analys (1) mobil (1)
Person: Barbara König 0001
DBLP: 0001:Barbara_K=ouml=nig
Contributed to:
2000
2019Wrote 2 papers:
- ICALP-2000-Konig #mobile #process #type system
- Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System (BK0), pp. 403–414.
- POPL-2019-BaldanKMP #fixpoint #game studies
- Fixpoint games on continuous lattices (PB, BK0, CMM, TP), p. 29.