54 search results - page 2 / 11 » A Refinement Calculus for Shared-Variable Parallel and Distr... |
DSVIS
2005
Springer
13 years 11 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
IPPS
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
LCPC
1992
Springer
13 years 10 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
IPPS
2006
IEEE
14 years 9 days ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...