ask others

MFPS 1993: New Orleans, LA, USA

> Home > Conferences and Workshops > MFPS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/1993
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/1993
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Aczel93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Aczel93
Peter Aczel:
Final Universes of Processes. 1-28
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Curien93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Curien93
Pierre-Louis Curien:
On the Symmetry of Sequentiality. 29-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Pitts93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Pitts93
Andrew M. Pitts:
Computational Adequacy via "Mixed" Inductive Definitions. 72-82
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Rutten93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Rutten93
Jan J. M. M. Rutten:
A Strucutral Co-Induction Theorem. 83-102
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Breugel93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Breugel93
Franck van Breugel:
Three Metric Domains of Processes for Bisimulation. 103-121
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BakkerB93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BakkerB93
J. W. de Bakker, Franck van Breugel:
Topological Models for Higher Ordr Control Flow. 122-142
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Sangiorgi93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Sangiorgi93
Davide Sangiorgi:
An Investigation into Functions as Processes. 143-159
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/LarsenY93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/LarsenY93
Kim Guldstrand Larsen, Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability. 160-176
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Schneider93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Schneider93
Steve Schneider:
Timewise Refinement for Communicating Processes. 177-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Chen93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Chen93
Liang Chen:
Axiomatising Real-Time Processes. 215-229
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/ScholefieldZJ93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/ScholefieldZJ93
David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Predicative Semantics for the Refinement of Real-Time Systems. 230-249
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BestL93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BestL93
Eike Best, Hans-Günther Linde-Göers:
Compositional Process Semantics of Petri Boxes. 250-270
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/PinnaP93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/PinnaP93
G. Michele Pinna, Axel Poigné:
On the Specification of Elementary Reactive Behaviour. 271-292
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Jeffrey93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Jeffrey93
Alan Jeffrey:
A Chemical Abstract Machine for Graph Reduction. 293-303
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Mulry93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Mulry93
Philip S. Mulry:
Lifting Theorems for Kleisli Categories. 304-319
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BrookesG93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BrookesG93
Stephen D. Brookes, Shai Geva:
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. 320-332
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Bucciarelli93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Bucciarelli93
Antonio Bucciarelli:
Another Approach to Sequentiality: Kleene's Unimonotone Functions. 333-358
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Stoughton93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Stoughton93
Allen Stoughton:
Mechanizing Logical Relations. 359-377
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BloomE93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BloomE93
Stephen L. Bloom, Zoltán Ésik:
Some Quasi-Varieties of Iteration Theories. 378-409
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Heckmann93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Heckmann93
Reinhold Heckmann:
Probabilistic Power Domains, Information Systems, and Locales. 410-437
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Huth93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Huth93
Michael Huth:
Linear Domains and Linear Maps. 438-453
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Zhang93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Zhang93
Guo-Qiang Zhang:
Universal Quasi-Prime Algebraic Domains. 454-473
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BluteSP93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BluteSP93
Richard Blute, R. A. G. Seely, Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic. 474-512
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Wadler93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Wadler93
Philip Wadler:
A Syntax for Linear Logic. 513-529
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Rabinovich93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Rabinovich93
Alexander Moshe Rabinovich:
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. 530-543
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/KoppermanF93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/KoppermanF93
Ralph Kopperman, Bob Flagg:
The Asymmetric Topology of Computer Science. 544-553
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/CalbrixNP93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/CalbrixNP93
Hugues Calbrix, Maurice Nivat, Andreas Podelski:
Ultimately Periodic Words of Rational w-Languages. 554-566
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/Fiech93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/Fiech93
Adrian Fiech:
Category of Delta-Functors. 567-586
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BanerjeeS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BanerjeeS93
Anindya Banerjee, David A. Schmidt:
A Categorical Interpretation of Landin's Correspondence Principle. 587-602
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/BruceCK93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/BruceCK93
Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy:
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. 603-626
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfps/DanvyH93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfps/DanvyH93
Olivier Danvy, John Hatcliff:
On the Transformation between Direct and Continuation Semantics. 627-648

maintained by

at