249
Voted
CONCUR
15 years 11 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...
179
click to vote
CONCUR
15 years 11 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...
177
click to vote
CONCUR
15 years 11 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....
175
Voted
CONCUR
15 years 11 months ago
1991 Springer  |
Distributed And Parallel Computing