Department of Computing)

Identifiers

• name variant Department of Computing) 0.60 · backfill

Papers (1)

1. Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion cs.LO · 2015 · author #7

Mentions

• 1510.06658 #7 · backfill · confidence 0.70 Department of Computing)

Frequent Coauthors

• Exformatics A/S) 1 shared papers
• London 1 shared papers
• Nobuko Yoshida (Imperial College 1 shared papers
• S{\o}ren Debois (IT University of Copenhagen) 1 shared papers
• Thomas Hildebrandt (IT University of Copenhagen) 1 shared papers
• Tijs Slaats (IT University of Copenhagen 1 shared papers