1099 search results - page 2 / 220 » A Parallel Programming Style and Its Algebra of Programs |
PDS
1996
13 years 6 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
PDCAT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
EUROCAST
1994
Springer
13 years 8 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
CL
2007
Springer
13 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
JANCL
2006
13 years 4 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...