scientific article; zbMATH DE number 7454920
From MaRDI portal
zbMath1477.68176MaRDI QIDQ5019694
Alex Coto, Roberto Guanciale, Emilio Tuosto
Publication date: 10 January 2022
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2020.5
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Testing equivalences for processes
- Trace and testing equivalence on asynchronous processes
- Realisability of pomsets
- 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
- Multiparty Asynchronous Session Types
- On Communicating Finite-State Machines
- Global progress for dynamically interleaved multiparty sessions
- Multiparty Testing Preorders