MFPS 1993: New Orleans, LA, USA

• 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