Towards a design-oriented theory of computational artifacts in cooperative work practices

Hildebrandt, Thomas (PI)
Normann, Håkon (CoI)
Slaats, Tijs (CoI)

Project: Research

2 Article in proceedings
2 Conference article
1 Journal article

1 results

Filter

2016
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access