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

Algebraic types in PER models

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040266 ◽

2006 ◽

pp. 333-350 ◽

Author(s):

J. M. E. Hyland ◽

E. P. Robinson ◽

G. Rosolini

Download Full-text

A category-theoretic semantics for unbounded indeterminacy

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040265 ◽

2006 ◽

pp. 319-332

Author(s):

Prakash Panangaden ◽

James R. Russell

Download Full-text

Unbounded nondeterminism in CSP

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040257 ◽

2006 ◽

pp. 160-193 ◽

Author(s):

A. W. Roscoe ◽

Geoff Barrett

Download Full-text

A generalized Kahn Principle for abstract asynchronous networks

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040252 ◽

2006 ◽

pp. 1-21 ◽

Author(s):

Samson Abramsky

Keyword(s):

Asynchronous Networks

Download Full-text

Initial algebra semantics for lambda calculi

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040272 ◽

2006 ◽

pp. 418-439

Author(s):

John W. Gray

Keyword(s):

Initial Algebra ◽

Initial Algebra Semantics

Download Full-text

Pseudo-retract functors for local lattices and bifinte L-domains

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040267 ◽

2006 ◽

pp. 351-363 ◽

Author(s):

Elsa L. Gunter

Download Full-text

On some semantic issues in the reflective tower

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040260 ◽

2006 ◽

pp. 229-246 ◽

Author(s):

Karoline Malmkjær

Download Full-text

Categorical semantics for programming languages

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040271 ◽

2006 ◽

pp. 402-417 ◽

Author(s):

He Jifeng ◽

C. A. R. Hoare

Keyword(s):

Programming Languages ◽

Categorical Semantics

Download Full-text

Connections between a concrete and an abstract model of concurrent systems

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040254 ◽

2006 ◽

pp. 53-79 ◽

Author(s):

Eugene W. Stark

Keyword(s):

Concurrent Systems ◽

Download Full-text

The semantics of priority and fairness in occam

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040258 ◽

2006 ◽

pp. 194-208 ◽

Author(s):

Geoff Barrett

Download Full-text