Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer-Verlag

0387973753
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A category-theoretic semantics for unbounded indeterminacy

2006 ◽  
pp. 319-332
Author(s):  
Prakash Panangaden ◽  
James R. Russell

scholarly journals Unbounded nondeterminism in CSP

2006 ◽  
pp. 160-193 ◽  
Author(s):  
A. W. Roscoe ◽  
Geoff Barrett

Algebraic types in PER models

2006 ◽  
pp. 333-350 ◽  
Author(s):  
J. M. E. Hyland ◽  
E. P. Robinson ◽  
G. Rosolini

scholarly journals Termination, deadlock and divergence

2006 ◽  
pp. 301-318 ◽  
Author(s):  
L. Aceto ◽  
M. Hennessy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document