668 search results - page 21 / 134 » Operational semantics for multi-language programs |
112
click to vote
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
92
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
113
Voted
ENTCS
2006
15 years 13 days ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
109
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
114
click to vote
CSL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...