Conferences in DBLP

Mathematical Foundations of Programming Semantics (mfps)
1993 (conf/mfps/1993)

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