Technologies for Declarative Model-driven Development of Cross-organizational Process Aware

Hildebrandt, Thomas (PI)

Projekter: Projekt › Forskning

1 Konferencebidrag i proceedings
1 Tidsskriftartikel

1 resultater

Filter

2016
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 feb. 2016, I: Logical Methods in Computer Science. 12, 1, s. 1-38 38 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang