1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Eneia Nicolae Todoran, Gabriel Ciobanu
We develop denotational and operational semantics designed with continuations for process calculi based on CCS extended with mechanisms offering support for multiparty interactions…