CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
CONCUR
1993
Springer
14 years 3 months ago
1993
Springer
CFCP
1994
14 years 3 months ago
1994
ICS
2010
Tsinghua U.
14 years 3 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...