Towards Generalised Half-Duplex Systems
- 2 October 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 347, 22-37
- https://doi.org/10.4204/eptcs.347.2
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Multiparty Session Types Meet Communicating AutomataLecture Notes in Computer Science, 2012
- McScM: A General Framework for the Verification of Communicating MachinesLecture Notes in Computer Science, 2012
- Context-Bounded Analysis of Concurrent Queue SystemsLecture Notes in Computer Science, 2008
- Verification of programs with half-duplex communicationInformation and Computation, 2005
- Bounded MSC communicationInformation and Computation, 2004
- Verifying lossy channel systems has nonprimitive recursive complexityInformation Processing Letters, 2002
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Science and Business Media LLC ,1998
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996
- Unreliable Channels Are Easier to Verify Than Perfect ChannelsInformation and Computation, 1996
- Types for dyadic interactionLecture Notes in Computer Science, 1993