Structured Communication-Centred Programming for Web Services
Abstract elided by the publisher.
Related papers
- Structured Communication-Centered Programming for Web Services TOPLAS 2012
- Formal Reasoning About the Security of Amazon Web Services CAV 2018
- VyPR2: A Framework for Runtime Verification of Python Web Services TACAS 2019
- Multiparty asynchronous session types POPL 2008
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- Extending Java for high-level Web service construction TOPLAS 2003
- A Type System for Dynamic Web Documents POPL 2000
- Flapjax: a programming language for Ajax applications OOPSLA 2009