Comparative Metric Semantics of Programming Languages
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Birkhäuser Boston

9781461286806, 9781461241607

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generalized finiteness conditions

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_7 ◽

1998 ◽

pp. 119-148

Author(s):

Franck van Breugel

Keyword(s):

Finiteness Conditions

Download Full-text

Introduction

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_1 ◽

1998 ◽

pp. 1-8

Author(s):

Franck van Breugel

Download Full-text

Second order communication

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_9 ◽

1998 ◽

pp. 165-191

Author(s):

Franck van Breugel

Keyword(s):

Second Order

Download Full-text

Operational semantics

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_4 ◽

1998 ◽

pp. 53-78 ◽

Cited By ~ 2

Author(s):

Franck van Breugel

Keyword(s):

Operational Semantics

Download Full-text

Dense choice

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_8 ◽

1998 ◽

pp. 149-164

Author(s):

Franck van Breugel

Download Full-text

Linear and branching domains

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_3 ◽

1998 ◽

pp. 19-49

Author(s):

Franck van Breugel

Download Full-text

Domain equations

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_2 ◽

1998 ◽

pp. 11-17

Author(s):

Franck van Breugel

Download Full-text

Random assignment

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_6 ◽

1998 ◽

pp. 97-115

Author(s):

Franck van Breugel

Keyword(s):

Random Assignment

Download Full-text

Nondeterministic choice

Comparative Metric Semantics of Programming Languages ◽

10.1007/978-1-4612-4160-7_5 ◽

1998 ◽

pp. 79-96

Author(s):

Franck van Breugel

Keyword(s):

Nondeterministic Choice

Download Full-text

Comparative Metric Semantics of Programming LanguagesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Birkhäuser Boston

Generalized finiteness conditions

Introduction

Second order communication

Operational semantics

Dense choice

Linear and branching domains

Domain equations

Random assignment

Nondeterministic choice

Comparative Metric Semantics of Programming Languages
Latest Publications