Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/2012 → 31/12/2014 |
Collaborative partners
- IT University of Copenhagen (lead)
- Exformatics (Project partner)
Funding
- Danish Council for Strategic Research: DKK1,019,000.00
Keywords
- model-driven Software Engineering
- Formal Declarative Models
- Process Aware Information Systems
- Concurrency theory
- Types
Research output
- 2 Conference article
-
Hierarchical Declarative Modelling with Refinement and Sub-processes
Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review