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]

Authors

Bashar Igried

This author has not been identified. Look up 'Bashar Igried' in Google

Anton Setzer

This author has not been identified. Look up 'Anton Setzer' in Google