The MAY-preorder for timed systems with asynchronous communication

Giovanni Bernardi, Maryline Zhang, Pedro Ribeiro

Other talks in Express/SOS Workshop Session 1:

• On the Expressiveness of Asynchronous Processes with Nested Session Types
• Encoding call-by-push-value in the pi-calculus
• Weighted barbed congruence

 Program   EXPRESS/SOS Program