Computation Orchestration : A Basis for Wide-Area Computing
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.
[2] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[3] Leslie Lamport,et al. The Byzantine Generals Problem , 1982, TOPL.
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] Dexter Kozen,et al. On Kleene Algebras and Closed Semirings , 1990, MFCS.
[6] Andreas Reuter,et al. Transaction Processing: Concepts and Techniques , 1992 .
[7] Luca Cardelli,et al. Service Combinators for Web Computing , 1999, DSL.
[8] Ralf Hinze,et al. Haskell 98 — A Non−strict‚ Purely Functional Language , 1999 .
[9] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .
[10] Jayadev Misra,et al. Orchestrating computations on the world-wide web , 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.
[11] Conal Elliott,et al. Programming graphics processors functionally , 2004, Haskell '04.
[12] Luca Cardelli,et al. Modern concurrency abstractions for C# , 2002, TOPL.
[13] Tony Hoare,et al. A Tree Semantics of an Orchestration Language , 2005 .
[14] Simon Peyton Jones,et al. Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell , 2005 .