Filters








2 Hits in 3.4 sec

On the Monitorability of Session Types, in Theory and Practice [article]

Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
2021 arXiv   pre-print
This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice.  ...  On the practical side, we show that our monitoring theory is indeed realisable: building upon our formal model, we develop a Scala toolkit for the automatic generation of session monitors.  ...  In Armin Biere and David Parker, editors, Tools and Algorithms for the Construction and Analysis of Systems -26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences  ... 
arXiv:2105.06291v1 fatcat:wpy4l4tf3rhqhhqgyzbohtrcbu

Adaptive Synchronisation of Pushdown Automata [article]

A. R. Balasubramanian
2021 arXiv   pre-print
For proving the upper bounds, we consider the problem of deciding if a given alternating pushdown system has an accepting run with at most $k$ leaves and we provide an $n^{O(k^2)}$ time algorithm for this  ...  to be given can depend on how the contents of the stack changed after the current input letter.  ...  Smolka, editors, Tools and Algorithms for the Construction and Analysis of Systems -19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of  ... 
arXiv:2102.06897v1 fatcat:sficbbbghbh6vg5rm642omtpam