default search action
9th MFPS 1993: New Orleans, LA, USA
- Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
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 A. 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, Robert 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
On the Transformation between Direct and Continuation Semantics. 627-648
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: