Concurrent Execution Semantics of DAML-S with Subtypes
暂无分享,去创建一个
[1] Matthias Felleisen,et al. A Syntactic Theory of Sequential Control , 1987, Theor. Comput. Sci..
[2] Anupriya Ankolekar,et al. Concurrent Semantics for the Web Services Specification Language DAML-S , 2002, COORDINATION.
[3] Stefan Kaes. Type inference in the presence of overloading, subtyping and recursive types , 1992, LFP '92.
[4] Jerry R. Hobbs,et al. DAML-S: Semantic Markup for Web Services , 2001, SWWS.
[5] Ulrich Norbisrath,et al. Distributed Programming in Haskell with Ports , 2000, IFL.
[6] Simon L. Peyton Jones,et al. Concurrent Haskell , 1996, POPL '96.
[7] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[8] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[9] Frank Huch,et al. Verification of Erlang programs using abstract interpretation and model checking , 1999, ICFP '99.
[10] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .