Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
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.