Multiparty half-duplex systems and synchronous communications
From MaRDI portal
Publication:2683034
DOI10.1016/j.jlamp.2022.100843OpenAlexW4309951253MaRDI QIDQ2683034
Cinzia Di Giusto, Loïc Germerie Guizouarn, Etienne Lozes
Publication date: 3 February 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100843
model-checkingmessage sequence chartssynchronizabilitycommunicating finite state machinesFIFO systemsmodels of communications
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On the diversity of asynchronous communication
- On deciding synchronizability for asynchronously communicating systems
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
- Automated verification of automata communicating via FIFO and bag buffers
- Verifying lossy channel systems has nonprimitive recursive complexity.
- Bounded MSC communication
- Unreliable channels are easier to verify than perfect channels
- Verifying programs with unreliable channels
- On the \(k\)-synchronizability of systems
- Verification of programs with half-duplex communication
- Multiparty Session Types Meet Communicating Automata
- Multiparty Asynchronous Session Types
- Mixing Lossy and Perfect Fifo Channels
- The Reachability Problem for Petri Nets Is Not Elementary
- Synchronous, asynchronous, and causally ordered communication
- Context-Bounded Analysis of Concurrent Queue Systems
- Lectures on Concurrency and Petri Nets
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods
- A variant of a recursively unsolvable problem
- Reachability Analysis of Communicating Pushdown Systems
- On the completeness of verifying message passing programs under bounded asynchrony
This page was built for publication: Multiparty half-duplex systems and synchronous communications
