Thomas Troels Hildebrandt
Professor
ORCID: 0000-0002-7435-5563
1 - 1 out of 1Page size: 10
- 2019
- Published
A stable non-interleaving early operational semantics for the pi-calculus
Hildebrandt, Thomas Troels, Johansen, C. & Normann, H., 2019, In: Journal of Logical and Algebraic Methods in Programming. 104, p. 227-253 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
ID: 191341554
Most downloads
-
936
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Research output: Working paper › Research
Published -
358
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
184
downloads
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published