Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume8461
Pages (from-to)1-16
Number of pages16
ISSN0302-9743
DOIs
Publication statusPublished - 2014

Cite this