MFPS 1991: Pittsburgh, PA, USA

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Lecture Notes in Computer Science 598 Springer 1992, ISBN 3-540-55511-0 BibTeX

@proceedings{DBLP:conf/mfps/1991,
  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, 7th International
               Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
  booktitle = {MFPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {598},
  year      = {1992},
  isbn      = {3-540-55511-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

QingMing Ma, John C. Reynolds: Types, Abstractions, and Parametric Polymorphism, Part 2. 1-40 BibTeX
John Gateley, Bruce F. Duba: Call-by-Value Combinatory Logic and the Lambda-Value Calculus. 41-53 BibTeX
Scott F. Smith: From Operational to Denotational Semantics. 54-76 BibTeX
Michael W. Mislove, Frank J. Oles: A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. 77-101 BibTeX
Kim B. Bruce: The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. 102-124 BibTeX
Neal Nelson: Primitive Recursive Functionals with Dependent Types. 125-143 BibTeX
Gary T. Leavens, Don Pigozzi: Typed Homomorphic Relations Extended with Sybtypes. 144-167 BibTeX
Jon Barwise: Information Links in Domain Theory. 168-192 BibTeX
Jan J. M. M. Rutten: Nonwellfounded Sets and Programming Language Semantics. 193-206 BibTeX
John W. Gray: Simultaneous Substitution in the Typed Lambda Calculus. 207-220 BibTeX
Michael Barr: HSP Type Theorems in the Category of Posets. 221-234 BibTeX
Achim Jung, Leonid Libkin, Hermann Puhlmann: Decomposition of Domains. 235-258 BibTeX
Michael Huth: Cartesian Closed Categories of Domains and the Space Proj(D). 259-271 BibTeX
Reinhold Heckmann: An Upper Power Domain Construction in Terms of Strongly Compact Sets. 272-293 BibTeX
Mitchell Wand: Correctness of Procedure Representations in Higher-Order Assembly Language. 294-311 BibTeX
Nicolas Mercouroff: An Algorithm for Analyzing Communicating Processes. 312-325 BibTeX
Stephen D. Brookes, Shai Geva: Continuous Functions and Parallel Algorithms on Concrete Data Structures. 326-349 BibTeX
Bard Bloom, Marta Z. Kwiatkowska: Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. 350-375 BibTeX
Luca Aceto: On Relating Concurency and Nondeterminism. 376-402 BibTeX
Stefano Kasangian, Anna Labella: On Continuous Time Agents. 403-425 BibTeX
Guo-Qiang Zhang: A Monoidal Closed Category of Event Structures. 426-435 BibTeX
Giuseppe Rosolini: An Exper Model for Quest. 436-445 BibTeX
Ernest G. Manes: Equations for if-then-else. 446-456 BibTeX
Stephen L. Bloom, Zoltán Ésik: Program Correctness and Matricial Iteration Theories. 457-476 BibTeX
Nils Klarlund: Liminf Progress Measures. 477-491 BibTeX
Austin Melton, Bernd S. W. Schröder, George E. Strecker: Connections. 492-506 BibTeX