Deductive Program Design
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642648496, 9783642614552
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Algebra of Programming

1996 ◽  
pp. 167-203 ◽  
Author(s):  
Richard Bird ◽  
Oege de Moor
Keyword(s):  
Algebra Of Programming

Model Checking

1996 ◽  
pp. 305-349 ◽  
Author(s):  
E. Clarke ◽  
O. Grumberg ◽  
D. Long
Keyword(s):  
Model Checking

On TLA as a Logic

1996 ◽  
pp. 235-271 ◽  
Author(s):  
Martín Abadi ◽  
Stephan Merz

Interaction Categories and the Foundations of Typed Concurrent Programming

1996 ◽  
pp. 35-113 ◽  
Author(s):  
Samson Abramsky ◽  
Simon Gay ◽  
Rajagopal Nagarajan
Keyword(s):  
Concurrent Programming
Load More ...
Sign in / Sign up

Export Citation Format

Share Document