Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- ,
- ,
- Tijs Slaats,
- Nobuko Yoshida
- ,
- ,
- Imperial College London
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-review
Open access
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 1-16 (16 pages)Journal (Volume, Issue Number)
Lecture Notes in Computer Science (Volume 8461)Publication milestones
- Published - 2014
Publication status
Published - 2014
ISSN
0302-9743Publication IDs
- Scopus: 84902588526
Publication metrics
PlumX, opens in new tab
Citations
4
Captures
3