"Tutorial on separation results in process calculi via leader election ..."

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi (2007)

Details and statistics

DOI: 10.1016/J.TCS.2007.09.001

access: open

type: Journal Article

metadata version: 2021-04-09