2014
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs
Publication
Publication
Presented at the
Horizons of the Mind
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Horizons of the Mind | |
Organisation | Computer Security |
de Boer, F., & Gabbrielli, M. (2014). Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs. In Proceedings of Horizons of the Mind 2014 (0). Springer. |