11 search results - page 3 / 3 » Java Jr: Fully Abstract Trace Semantics for a Core Java Lang... |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...