Defining Trace Semantics for CSP-Agda

Bashar Igried, Anton Setzer. Defining Trace Semantics for CSP-Agda. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]


Abstract is missing.