Find

Department of Computer Science

Hünkar Can Tunç

PhD Student

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
tunc@cs.au.dk

Published
A Language-Based Causal Model for Safety
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
DyNetKAT: An Algebra of Dynamic Networks
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 220785387