4604 search results - page 27 / 921 » Concurrency in Synchronous Systems |
CONCURRENCY
2002
14 years 9 months ago
2002
107
click to vote
SIAMCOMP
2002
14 years 9 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
PPDP
1999
Springer
15 years 1 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
CONCURRENCY
2008
14 years 9 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...