ICDCS
1991
IEEE
15 years 6 months ago
1991
IEEE
ICDCS
1991
IEEE
15 years 6 months ago
1991
IEEE
ICDCS
1991
IEEE
15 years 6 months ago
1991
IEEE
168
click to vote
HLPPP
1991
15 years 6 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
110
click to vote
HLPPP
1991
15 years 6 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
154
Voted
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
111
Voted
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
111
Voted
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....