Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, and Dieter Spreen06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality10.4230/DagSemProc.06341.1
Ingo Battenfeld, Matthias Schröder, and Alex SimpsonA convenient category of domains10.4230/DagSemProc.06341.2