Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Centre Inria de l'Université Côte d'Azur
1
0
0
19
Synchronous programming languages like Esterel can now be compositionally encoded within an extended CCS framework, bridging the gap between process algebra confluence theory and determinate concurrent semantics.