MFPS 1989: Tulane University, New Orleans, Louisiana, USA

Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Lecture Notes in Computer Science 442 Springer 1990, ISBN 3-540-97375-3 BibTeX

@proceedings{DBLP:conf/mfps/1989,
  editor    = {Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  title     = {Mathematical Foundations of Programming Semantics, 5th International
               Conference, Tulane University, New Orleans, Louisiana, USA, March
               29 - April 1, 1989, Proceedings},
  booktitle = {MFPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {442},
  year      = {1990},
  isbn      = {3-540-97375-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Samson Abramsky: A Generalized Kahn Principle for Abstract Asynchronous Networks. 1-21 BibTeX
Luca Cardelli, John C. Mitchell: Operations on Records. 22-52 BibTeX
Eugene W. Stark: Connections between a Concrete and an Abstract Model of Concurrent Systems. 53-79 BibTeX
George M. Reed: A Hierarchy of Domains for Real-Time Distributed Computing. 80-128 BibTeX
Jim Davies, Steve Schneider: Factorizing Proofs in Timed CSP. 129-159 BibTeX
A. W. Roscoe, Geoff Barrett: Unbounded Nondeterminism in CSP. 160-193 BibTeX
Geoff Barrett: The Semantics of Priority and Fairness in occam. 194-208 BibTeX
Frank Pfenning, Christine Paulin-Mohring: Inductively Defined Types in the Calculus of Constructions. 209-228 BibTeX
Karoline Malmkjær: On Some Semantic Issues in the Reflective Tower. 229-246 BibTeX
Michael G. Main, David L. Black: Semantic Models for Total Correctness and Fairness. 247-270 BibTeX
Allen Stoughton: Equationally Fully Abstract Models of PCF. 271-283 BibTeX
Lawrence S. Moss, Satish R. Thatte: Generalization of Final Algebra Semantics by Relativization. 284-300 BibTeX
Luca Aceto, Matthew Hennessy: Termination, Deadlock and Divergence. 301-318 BibTeX
Prakash Panangaden, James R. Russell: A Category-theoretic Semantics for Unbounded Indeterminacy. 319-332 BibTeX
J. M. E. Hyland, E. P. Robinson, Giuseppe Rosolini: Algebraic Types in PER Models. 333-350 BibTeX
Elsa L. Gunter: Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. 351-363 BibTeX
Radha Jagadeesan: L-domains and Lossless Powerdomains. 364-372 BibTeX
Ana Pasztor: Does "N+1 Times" Prove More Programs Correct Than "N Times"? 373-389 BibTeX
A. John Power: An Algebraic Formulation for Data Refinement. 390-401 BibTeX
Jifeng He, C. A. R. Hoare: Categorical Semantics for Programming Languages. 402-417 BibTeX
John W. Gray: Initial Algebra Semantics for Lambda Calculi. 418-439 BibTeX