3575 search results - page 82 / 715 » Modeling Concurrency with Geometry |
107
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
142
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
104
click to vote
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
SIGCSE
2005
ACM
15 years 7 months ago
2005
ACM
In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about d...