Skip to main content
SpringerLink
Log in
Book cover

Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Stephen Brookes
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Main
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Austin Melton
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Mislove
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. David Schmidt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 802)

Included in the following conference series:

Conference proceedings info: MFPS 1993.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Final universes of processes

    • Peter Aczel
    Pages 1-28

  3. On the symmetry of sequentiality

    • Pierre-Louis Curien
    Pages 29-71

  4. Computational adequacy via ‘mixed’ inductive definitions

    • Andrew M. Pitts
    Pages 72-82

  5. A structural co-induction theorem

    • Jan Rutten
    Pages 83-102

  6. Three metric domains of processes for bisimulation

    • Franck van Breugel
    Pages 103-121

  7. Topological models for higher order control flow

    • J. W. de Bakker, F. van Breugel
    Pages 122-142

  8. An investigation into functions as processes

    • Davide Sangiorgi
    Pages 143-159

  9. Time abstracted bisimulation: Implicit specifications and decidability

    • Kim G. Larsen, Wang Yi
    Pages 160-176

  10. Timewise refinement for communicating processes

    • Steve Schneider
    Pages 177-214

  11. Axiomatising real-timed processes

    • Liang Chen
    Pages 215-229

  12. A predicative semantics for the refinement of real-time systems

    • David Scholefield, Hussein Zedan, He Jifeng
    Pages 230-249

  13. Compositional process semantics of Petri Boxes

    • Eike Best, Hans-Günther Linde-Göers
    Pages 250-270

  14. On the specification of elementary reactive behaviour

    • G. Michele Pinna, Axel Poigné
    Pages 271-292

  15. A chemical abstract machine for graph reduction extended abstract

    • Alan Jeffrey
    Pages 293-303

  16. Lifting theorems for Kleisli categories

    • Philip S. Mulry
    Pages 304-319

  17. Sequential functions on indexed domains and full abstraction for a sub-language of PCF

    • Stephen Brookes, Shai Geva
    Pages 320-332

  18. Another approach to sequentiality: Kleene's unimonotone functions

    • Antonio Bucciarelli
    Pages 333-358

  19. Mechanizing logical relations

    • Allen Stoughton
    Pages 359-377

  20. Some quasi-varieties of iteration theories

    • Stephen L. Bloom, Zoltán Ésik
    Pages 378-409
Back to top

Other volumes

  1. Mathematical Foundations of Programming Semantics

Keywords

About this book

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation