Language Extension and Translation: Linking CCS and CSP

Gerard Ekembe le

Lieu: Amphi 33

Abstract

CCS and CSP languages have evolved separately for 40+ years, despite efforts begun in the early 2000s to unify both languages. This presentation will show how CCS and CSP can be unified by means of translation. We will notably show how certain decisions in the design of the translation affect the correctness of the result.

Language Extension and Translation: Linking CCS and CSP

Gerard Ekembe le var d = new Date(1694678400000); document.getElementById("date").innerHTML = d.toLocaleString();

Abstract

Gerard Ekembe le