@Inproceedings{EPTCS180.3, author = {Jorgensen, Paul C.}, year = {2015}, title = {A Visual Formalism for Interacting Systems}, editor = {Pakulin, Nikolay and K. Petrenko, Alexander and Schlingloff, Bernd-Holger}, booktitle = {{\rm Proceedings Tenth Workshop on} Model Based Testing, {\rm London, UK, 18th April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {180}, publisher = {Open Publishing Association}, pages = {41-55}, doi = {10.4204/EPTCS.180.3}, }