ICDCS
1991
IEEE
15 years 22 days ago
1991
IEEE
ICDCS
1991
IEEE
15 years 22 days ago
1991
IEEE
ICDCS
1991
IEEE
15 years 22 days ago
1991
IEEE
ICDCS
1991
IEEE
15 years 22 days ago
1991
IEEE
117
Voted
HLPPP
1991
15 years 22 days 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...
71
Voted
HLPPP
1991
15 years 22 days 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...
110
click to vote
CONCUR
1991
Springer
15 years 22 days 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 22 days ago
1991
Springer
CONCUR
1991
Springer
15 years 22 days 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...
CONCUR
1991
Springer
15 years 22 days 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....