Publikationer pr. år
Publikationer pr. år
Projektdetaljer
Beskrivelse
This Action will use behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it will transform the theory and practice of distributed software development.
| Akronym | BETTY |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/08/2012 → 30/06/2015 |
Finansiering
- European Commission
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
Publikation
- 2 Konferenceartikel
-
Hierarchical Declarative Modelling with Refinement and Sub-processes
Debois, S., Hildebrandt, T. & Slaats, T., 2014, I: Lecture Notes in Computer Science. 8659, s. 18--33 16 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
-
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, I: Lecture Notes in Computer Science. 8461, s. 1-16 16 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review