Mixed-choice has long been barred from models of asynchronous communicat...
Reversible debuggers help programmers to find the causes of misbehaviour...
Real-world communication protocols are often built out of a number of si...
This volume contains the proceedings of ICE 2017, the 10th Interaction a...