On Automatic and Interactive Design of Communication Systems
Abstract elided by the publisher.
Related papers
- Specification and dialogue control of visual interaction through visual rewriting systems TOPLAS 1999
- PerFlow: a domain specific framework for automatic performance analysis of parallel applications PPoPP 2022
- Peregrine: A Tool for the Analysis of Population Protocols CAV 2018
- Flapjax: a programming language for Ajax applications OOPSLA 2009
- Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications PPoPP 1999
- On the Construction of Submodule Specifications and Communication Protocols TOPLAS 1983
- A Distributed Object-Oriented Framework for Dependable Multiparty Interactions OOPSLA 1999
- Fencing off go: liveness and safety for channel-based programming POPL 2017