Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540580270, 9783540484196

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the specification of elementary reactive behaviour

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

10.1007/3-540-58027-1_13 ◽

1994 ◽

pp. 271-292 ◽

Author(s):

G. Michele Pinna ◽

Axel Poigné

Download Full-text

On the transformation between direct and continuation semantics

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

10.1007/3-540-58027-1_31 ◽

1994 ◽

pp. 627-648 ◽

Author(s):

Olivier Danvy ◽

John Hatcliff

Download Full-text

An operational semantics for TOOPLE: A statically-typed object-oriented programming language

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

10.1007/3-540-58027-1_30 ◽

1994 ◽

pp. 603-626 ◽

Author(s):

Kim B. Bruce ◽

Jonathan Crabtree ◽

Gerald Kanapathy

Keyword(s):

Programming Language ◽

Operational Semantics ◽

Object Oriented ◽

Object Oriented Programming ◽

Oriented Programming Language

Download Full-text

Timewise refinement for communicating processes

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

10.1007/3-540-58027-1_9 ◽

1994 ◽

pp. 177-214 ◽

Author(s):

Steve Schneider

Keyword(s):

Communicating Processes

Download Full-text

A categorical interpretation of Landin's correspondence principle

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

10.1007/3-540-58027-1_29 ◽

1994 ◽

pp. 587-602 ◽

Author(s):

Anindya Banerjee ◽

David A. Schmidt

Keyword(s):

Correspondence Principle

Download Full-text

Mechanizing logical relations

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

10.1007/3-540-58027-1_18 ◽

1994 ◽

pp. 359-377 ◽

Author(s):

Allen Stoughton

Download Full-text

Compositional process semantics of Petri Boxes

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

10.1007/3-540-58027-1_12 ◽

1994 ◽

pp. 250-270 ◽

Author(s):

Eike Best ◽

Hans-Günther Linde-Göers

Keyword(s):

Compositional Process

Download Full-text

Final universes of processes

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

10.1007/3-540-58027-1_1 ◽

1994 ◽

pp. 1-28 ◽

Author(s):

Peter Aczel

Download Full-text

A syntax for linear logic

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

10.1007/3-540-58027-1_24 ◽

1994 ◽

pp. 513-529 ◽

Author(s):

Philip Wadler

Keyword(s):

Download Full-text

Time abstracted bisimulation: Implicit specifications and decidability

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

10.1007/3-540-58027-1_8 ◽

1994 ◽

pp. 160-176 ◽

Author(s):

Kim G. Larsen ◽

Wang Yi

Download Full-text