Data communicating processes with unreliable channels
From MaRDI portal
Publication:4635872
Recommendations
Cited in
(7)- Mixing Lossy and Perfect Fifo Channels
- Analysis of message passing programs using SMT-solvers
- Timed lossy channel systems
- On reachability for unidirectional channel systems extended with regular tests
- Tolerating corrupted communication
- Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
- Complete multiparty session type projection with automata
This page was built for publication: Data communicating processes with unreliable channels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635872)