Concurrent Execution Semantics of DAML-S with Subtypes
- 29 May 2002
- book chapter
- Published by Springer Nature
- p. 318-332
- https://doi.org/10.1007/3-540-48005-6_25
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Simulation, verification and automated composition of web servicesPublished by Association for Computing Machinery (ACM) ,2002
- Verification of Erlang programs using abstract interpretation and model checkingPublished by Association for Computing Machinery (ACM) ,1999
- Concurrent HaskellPublished by Association for Computing Machinery (ACM) ,1996
- Type inference in the presence of overloading, subtyping and recursive typesPublished by Association for Computing Machinery (ACM) ,1992
- A syntactic theory of sequential controlTheoretical Computer Science, 1987