119 search results - page 5 / 24 » Synchronization abstraction in the BETA programming language |
110
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
153
Voted
FDL
2006
IEEE
15 years 7 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
221
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
144
Voted
CSL
1999
Springer
15 years 8 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...
106
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation — even an object’s own ...