ITU

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

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

View graph of relations

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

ID: 78913609