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