default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th MFPS 1989: Tulane University, New Orleans, Louisiana, USA
- Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
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 - Samson Abramsky
:
A Generalized Kahn Principle for Abstract Asynchronous Networks. 1-21 - Luca Cardelli, John C. Mitchell:
Operations on Records. 22-52 - Eugene W. Stark:
Connections between a Concrete and an Abstract Model of Concurrent Systems. 53-79 - George M. Reed:
A Hierarchy of Domains for Real-Time Distributed Computing. 80-128 - Jim Davies, Steve A. Schneider:
Factorizing Proofs in Timed CSP. 129-159 - A. W. Roscoe, Geoff Barrett:
Unbounded Nondeterminism in CSP. 160-193 - Geoff Barrett:
The Semantics of Priority and Fairness in occam. 194-208 - Frank Pfenning, Christine Paulin-Mohring:
Inductively Defined Types in the Calculus of Constructions. 209-228 - Karoline Malmkjær:
On Some Semantic Issues in the Reflective Tower. 229-246 - Michael G. Main, David L. Black:
Semantic Models for Total Correctness and Fairness. 247-270 - Allen Stoughton:
Equationally Fully Abstract Models of PCF. 271-283 - Lawrence S. Moss, Satish R. Thatte:
Generalization of Final Algebra Semantics by Relativization. 284-300 - Luca Aceto, Matthew Hennessy:
Termination, Deadlock and Divergence. 301-318 - Prakash Panangaden, James R. Russell:
A Category-theoretic Semantics for Unbounded Indeterminacy. 319-332 - J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini:
Algebraic Types in PER Models. 333-350 - Elsa L. Gunter:
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. 351-363 - Radha Jagadeesan:
L-domains and Lossless Powerdomains. 364-372 - Ana Pasztor:
Does "N+1 Times" Prove More Programs Correct Than "N Times"? 373-389 - A. John Power:
An Algebraic Formulation for Data Refinement. 390-401 - Jifeng He, C. A. R. Hoare:
Categorical Semantics for Programming Languages. 402-417 - John W. Gray:
Initial Algebra Semantics for Lambda Calculi. 418-439
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
