A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Our executable monitors can be used to instrument black-box processes written in any programming language; we assess the viability of our approach with a series of benchmarks. ... On the theoretical side, we develop a novel formal model of session-monitored processes; with it, we formulate and prove new results on the monitorability of session types, connecting their run-time and ... Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 -April 4, 1998, Proceedings, volume 1381 of Lecture Notes in Computer Science, pages 122-138. ...arXiv:2105.06291v1 fatcat:wpy4l4tf3rhqhhqgyzbohtrcbu