Comparative Metric Semantics of Programming Languages
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Birkhäuser Boston

9781461286806, 9781461241607
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generalized finiteness conditions

1998 ◽  
pp. 119-148
Author(s):  
Franck van Breugel
Keyword(s):  
Finiteness Conditions

Introduction

1998 ◽  
pp. 1-8
Author(s):  
Franck van Breugel

Second order communication

1998 ◽  
pp. 165-191
Author(s):  
Franck van Breugel
Keyword(s):  
Second Order

Operational semantics

1998 ◽  
pp. 53-78 ◽  
Author(s):  
Franck van Breugel
Keyword(s):  
Operational Semantics

Dense choice

1998 ◽  
pp. 149-164
Author(s):  
Franck van Breugel

Linear and branching domains

1998 ◽  
pp. 19-49
Author(s):  
Franck van Breugel

Domain equations

1998 ◽  
pp. 11-17
Author(s):  
Franck van Breugel

Random assignment

1998 ◽  
pp. 97-115
Author(s):  
Franck van Breugel
Keyword(s):  
Random Assignment

Nondeterministic choice

1998 ◽  
pp. 79-96
Author(s):  
Franck van Breugel
Keyword(s):  
Nondeterministic Choice
Load More ...
Sign in / Sign up

Export Citation Format

Share Document