A calculus of higher order communicating systems
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
Divergence in testing and readiness semantics
Theoretical Computer Science
A filter model for mobile processes
Mathematical Structures in Computer Science
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Pairing of Contracts and Session Types
Concurrency, Graphs and Models
Contract-Directed Synthesis of Simple Orchestrators
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Contract-Based Discovery and Adaptation of Web Services
Formal Methods for Web Services
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Contracts for Mobile Processes
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Contract-based discovery of Web services modulo simple orchestrators
Theoretical Computer Science
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Contexts, refinement and determinism
Science of Computer Programming
Fair subtyping for multi-party session types
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
The must preorder revisited: an algebraic theory for web services contracts
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |