An abstract framework for choreographic testing
From MaRDI portal
Publication:2239278
DOI10.1016/j.jlamp.2021.100712OpenAlexW3193510834MaRDI QIDQ2239278
Alex Coto, Emilio Tuosto, Roberto Guanciale
Publication date: 3 November 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2009.07990
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modeling concurrency with partial orders
- Testing equivalences for processes
- Trace and testing equivalence on asynchronous processes
- Realisability of pomsets
- On the \(k\)-synchronizability of systems
- Model-based testing of reactive systems. Advanced lectures.
- Verification of programs with half-duplex communication
- From Communicating Machines to Graphical Choreographies
- Multiparty Session Types Meet Communicating Automata
- Deadlock-freedom-by-design
- Deciding choreography realizability
- Multiparty Asynchronous Session Types
- On Communicating Finite-State Machines
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Dynamic multirole session types
- Resolving Non-determinism in Choreographies
- Global progress for dynamically interleaved multiparty sessions
- Multiparty Testing Preorders
- Applied Choreographies