Extensions of the UNITY Methodology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540591733, 9783540492191

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the design of proof rules for fair parallel programs

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_5 ◽

1995 ◽

pp. 59-98

Keyword(s):

Parallel Programs ◽

Download Full-text

Reasoning about probabilistic parallel programs

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_6 ◽

1995 ◽

pp. 99-148

Keyword(s):

Parallel Programs

Download Full-text

Epilogue

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_8 ◽

1995 ◽

pp. 165-167

Download Full-text

Prologue

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_1 ◽

1995 ◽

pp. 3-9

Download Full-text

Eventual determinism: Using probabilistic means to achieve deteministic ends

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_7 ◽

1995 ◽

pp. 149-163

Download Full-text

An introduction to UNITY

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_3 ◽

1995 ◽

pp. 17-31

Download Full-text

Preliminaries

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_2 ◽

1995 ◽

pp. 11-16

Download Full-text

The role of commutativity in parallel program design

Extensions of the UNITY Methodology - Lecture Notes in Computer Science ◽

10.1007/3-540-59173-7_4 ◽

1995 ◽

pp. 33-57

Keyword(s):

Program Design ◽

Parallel Program

Download Full-text