Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida

Programming Logic and Semantics

Imperial College London

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

3 results
- Relevance

BETTY: Behavioural Types for Reliable Large-Scale Software Systems
Hildebrandt, T. (CoI)
European Commission
01/08/2012 → 30/06/2015
Project: Research
CompArt: Towards a design-oriented theory of computational artifacts in cooperative work practices
Hildebrandt, T. (PI), Normann, H. (CoI) & Slaats, T. (CoI)
Velux Foundation
01/01/2014 → 31/05/2019
Project: Research
Foundations of Declarative Model-driven Software Engineering for Distributed Process Aware
Hildebrandt, T. (PI), Slaats, T. (PI) & Carbone, M. (CoI)
Danish Council for Strategic Research
01/01/2012 → 31/12/2014
Project: Research