From Semantics to Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Cambridge University Press

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

scholarly journals Determinacy in a synchronous π-calculus

2010 ◽  
pp. 1-28
Author(s):  
Roberto M. Amadio ◽  
Mehdi Dogguy
Keyword(s):  
Π Calculus

scholarly journals A simple type-theoretic language: Mini-TT

2010 ◽  
pp. 139-164 ◽  
Author(s):  
Thierry Coquand ◽  
Yoshiki Kinoshita ◽  
Bengt Nordström ◽  
Makoto Takeyama
Keyword(s):  
Simple Type

The semantics of dataflow with firing

2010 ◽  
pp. 71-94 ◽  
Author(s):  
Edward A. Lee ◽  
Eleftherios Matsikoudis

scholarly journals Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images

2010 ◽  
pp. 415-436
Author(s):  
Nicholas Ayache ◽  
Oliver Clatz ◽  
Hervé Delingette ◽  
Grégoire Malandain ◽  
Xavier Pennec ◽  
...  
Keyword(s):  
Project Team ◽  
Research Project ◽  
Biomedical Images
Load More ...
Sign in / Sign up

Export Citation Format

Share Document