Concurrent Semantics for the Web Services Specification Language DAML-S

Publisher Website

14 March 2002

book chapter
Published by Springer Nature

p. 14-21
https://doi.org/10.1007/3-540-46000-4_5

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Verification of Erlang programs using abstract interpretation and model checking
Published by Association for Computing Machinery (ACM) ,1999
Concurrent Haskell
Published by Association for Computing Machinery (ACM) ,1996
A syntactic theory of sequential control
Theoretical Computer Science, 1987