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

Hildebrandt, Thomas (PI)

Projekter: Projekt › Forskning

2 resultater

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
2015
Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil