Originalsprog | Engelsk |
---|---|
Bogserie | Lecture Notes in Computer Science |
Vol/bind | 8461 |
Sider (fra-til) | 1-16 |
Antal sider | 16 |
ISSN | 0302-9743 |
DOI | |
Status | Udgivet - 2014 |
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review