4 papers:
- ICALP-2001-ComonCM #automaton #constraints #memory management #protocol #set
- Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols (HC, VC, JM), pp. 682–693.
- TACAS-1999-BergeronM #analysis #automation #email #interactive
- An Automated Analysis of Ping-Pong Interactions in E-mail Services (AB, JCM), pp. 134–147.
- CHI-1999-IshiiWOCP #design #game studies #interface #named
- PingPongPlus: Design of an Athletic-Tangible Interface for Computer-Supported Cooperative Play (HI, CW, JO, BC, JAP), pp. 394–401.
- CC-1999-Ernst #python
- TRAPing Modelica with Python (TE), pp. 288–291.