Mathematical Foundations of Computer Science 1980 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer-Verlag

354010027x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analog processes

2005 ◽  
pp. 181-193 ◽  
Author(s):  
Luca Cardelli

Dynamic algebras which are not Kripke structures

2005 ◽  
pp. 528-538 ◽  
Author(s):  
Jan Reiterman ◽  
Věra Trnková
Keyword(s):  
Kripke Structures

Verifying concurrent system specifications in COSY

2005 ◽  
pp. 576-586 ◽  
Author(s):  
M. W. Shields ◽  
P. E. Lauer
Keyword(s):  
Concurrent System

Electronic category theory

2005 ◽  
pp. 22-39 ◽  
Author(s):  
R. M. Burstall
Keyword(s):  
Category Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document