Fair termination of binary sessions
L Ciccone, L Padovani - Proceedings of the ACM on Programming …, 2022 - dl.acm.org
A binary session is a private communication channel that connects two processes, each
adhering to a protocol description called session type. In this work, we study the first type …
adhering to a protocol description called session type. In this work, we study the first type …
Fair Must Testing for I/O Automata
R van Glabbeek - A Journey from Process Algebra via Timed Automata to …, 2022 - Springer
Fair Must Testing for I/O Automata | SpringerLink Skip to main content Advertisement
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …