Verification of Sequential and Concurrent Programs
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer New York

9781475727166, 9781475727142
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preliminaries

1997 ◽  
pp. 15-45
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog

Distributed Programs

1997 ◽  
pp. 235-270
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Distributed Programs

Disjoint Parallel Programs

1997 ◽  
pp. 101-124
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Parallel Programs

Parallel Programs with Synchronization

1997 ◽  
pp. 169-211
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Parallel Programs

Deterministic Programs

1997 ◽  
pp. 47-99 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog

Nondeterministic Programs

1997 ◽  
pp. 213-233
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog

Introduction

1997 ◽  
pp. 1-14
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog

Fairness

1997 ◽  
pp. 271-323
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog

Parallel Programs with Shared Variables

1997 ◽  
pp. 125-167
Author(s):  
Krzysztof R. Apt ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Parallel Programs ◽  
Shared Variables
Load More ...
Sign in / Sign up

Export Citation Format

Share Document