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

Last update Wed May 22 16:11:12 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page