Mathematical Foundations of Programming Semantics

Keyphrases

Publications

1989

Lawrence S. Moss, Satish R. Thatte
Generalization of Final Algebra Semantics by Relativization. Mathematical Foundations of Programming Semantics (1989)
Luca Aceto, Matthew Hennessy
Termination, Deadlock and Divergence. Mathematical Foundations of Programming Semantics (1989)
Ana Pasztor
Does "N+1 Times" Prove More Programs Correct Than "N Times"? Mathematical Foundations of Programming Semantics (1989)
Jifeng He, C. A. R. Hoare
Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics (1989)
Eugene W. Stark
Connections between a Concrete and an Abstract Model of Concurrent Systems. Mathematical Foundations of Programming Semantics (1989)
Luca Cardelli, John C. Mitchell
Operations on Records. Mathematical Foundations of Programming Semantics (1989)
Frank Pfenning, Christine Paulin-Mohring
Inductively Defined Types in the Calculus of Constructions. Mathematical Foundations of Programming Semantics (1989)
Geoff Barrett
The Semantics of Priority and Fairness in occam. Mathematical Foundations of Programming Semantics (1989)
George M. Reed
A Hierarchy of Domains for Real-Time Distributed Computing. Mathematical Foundations of Programming Semantics (1989)
Karoline Malmkjær
On Some Semantic Issues in the Reflective Tower. Mathematical Foundations of Programming Semantics (1989)
Jim Davies, Steve A. Schneider
Factorizing Proofs in Timed CSP. Mathematical Foundations of Programming Semantics (1989)
Allen Stoughton
Equationally Fully Abstract Models of PCF. Mathematical Foundations of Programming Semantics (1989)
J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini
Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics (1989)
Prakash Panangaden, James R. Russell
A Category-theoretic Semantics for Unbounded Indeterminacy. Mathematical Foundations of Programming Semantics (1989)
John W. Gray
Initial Algebra Semantics for Lambda Calculi. Mathematical Foundations of Programming Semantics (1989)
Samson Abramsky
A Generalized Kahn Principle for Abstract Asynchronous Networks. Mathematical Foundations of Programming Semantics (1989)
Michael G. Main, David L. Black
Semantic Models for Total Correctness and Fairness. Mathematical Foundations of Programming Semantics (1989)
Elsa L. Gunter
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics (1989)
A. W. Roscoe, Geoff Barrett
Unbounded Nondeterminism in CSP. Mathematical Foundations of Programming Semantics (1989)
A. John Power
An Algebraic Formulation for Data Refinement. Mathematical Foundations of Programming Semantics (1989)
Radha Jagadeesan
L-domains and Lossless Powerdomains. Mathematical Foundations of Programming Semantics (1989)

1985