MFPS 1993:
New Orleans,
LA,
USA
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.):
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings.
Lecture Notes in Computer Science 802 Springer 1994, ISBN 3-540-58027-1
- Peter Aczel:
Final Universes of Processes.
1-28
- Pierre-Louis Curien:
On the Symmetry of Sequentiality.
29-71
- Andrew M. Pitts:
Computational Adequacy via "Mixed" Inductive Definitions.
72-82
- Jan J. M. M. Rutten:
A Strucutral Co-Induction Theorem.
83-102
- Franck van Breugel:
Three Metric Domains of Processes for Bisimulation.
103-121
- J. W. de Bakker, Franck van Breugel:
Topological Models for Higher Ordr Control Flow.
122-142
- Davide Sangiorgi:
An Investigation into Functions as Processes.
143-159
- Kim Guldstrand Larsen, Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability.
160-176
- Steve Schneider:
Timewise Refinement for Communicating Processes.
177-214
- Liang Chen:
Axiomatising Real-Time Processes.
215-229
- David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Predicative Semantics for the Refinement of Real-Time Systems.
230-249
- Eike Best, Hans-Günther Linde-Göers:
Compositional Process Semantics of Petri Boxes.
250-270
- G. Michele Pinna, Axel Poigné:
On the Specification of Elementary Reactive Behaviour.
271-292
- Alan Jeffrey:
A Chemical Abstract Machine for Graph Reduction.
293-303
- Philip S. Mulry:
Lifting Theorems for Kleisli Categories.
304-319
- Stephen D. Brookes, Shai Geva:
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.
320-332
- Antonio Bucciarelli:
Another Approach to Sequentiality: Kleene's Unimonotone Functions.
333-358
- Allen Stoughton:
Mechanizing Logical Relations.
359-377
- Stephen L. Bloom, Zoltán Ésik:
Some Quasi-Varieties of Iteration Theories.
378-409
- Reinhold Heckmann:
Probabilistic Power Domains, Information Systems, and Locales.
410-437
- Michael Huth:
Linear Domains and Linear Maps.
438-453
- Guo-Qiang Zhang:
Universal Quasi-Prime Algebraic Domains.
454-473
- Richard Blute, R. A. G. Seely, Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic.
474-512
- Philip Wadler:
A Syntax for Linear Logic.
513-529
- Alexander Moshe Rabinovich:
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors.
530-543
- Ralph Kopperman, Bob Flagg:
The Asymmetric Topology of Computer Science.
544-553
- Hugues Calbrix, Maurice Nivat, Andreas Podelski:
Ultimately Periodic Words of Rational w-Languages.
554-566
- Adrian Fiech:
Category of Delta-Functors.
567-586
- Anindya Banerjee, David A. Schmidt:
A Categorical Interpretation of Landin's Correspondence Principle.
587-602
- Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy:
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.
603-626
- Olivier Danvy, John Hatcliff:
On the Transformation between Direct and Continuation Semantics.
627-648
Copyright © Thu Nov 12 01:06:50 2009
by Michael Ley (ley@uni-trier.de)