Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process cre ...
['Johannes Borgström', 'Ramūnas Gutkovas', 'Joachim Parrow', 'Björn Victor', 'Johannes Åman Pohjola']
A Sorted Semantic Framework for Applied Process Calculi