Programming Logic and Semantics

67 Article in proceedings
39 Journal article
24 Conference article
11 Book chapter
More

3 results

Filter

2018
Multparty Classical Choreographies
Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 Sept 2018. 20 p.
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Open Access
What makes guarded types tick?
Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Open Access
File
2014

Towards a Set Theoretical Approach to Big Social Data Analytics: Concepts, Methods, Tools, and Empirical Findings
Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 Sept 2014. 2 p.
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Open Access
File