The SCEAS System
Navigation Menu

Conferences in DBLP

Mathematical Foundations of Programming Semantics (mfps)
1989 (conf/mfps/1989)

  1. Samson Abramsky
    A Generalized Kahn Principle for Abstract Asynchronous Networks. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:1-21 [Conf]
  2. Luca Cardelli, John C. Mitchell
    Operations on Records. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:22-52 [Conf]
  3. Eugene W. Stark
    Connections between a Concrete and an Abstract Model of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:53-79 [Conf]
  4. George M. Reed
    A Hierarchy of Domains for Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:80-128 [Conf]
  5. Jim Davies, Steve Schneider
    Factorizing Proofs in Timed CSP. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:129-159 [Conf]
  6. A. W. Roscoe, Geoff Barrett
    Unbounded Nondeterminism in CSP. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:160-193 [Conf]
  7. Geoff Barrett
    The Semantics of Priority and Fairness in occam. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:194-208 [Conf]
  8. Frank Pfenning, Christine Paulin-Mohring
    Inductively Defined Types in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:209-228 [Conf]
  9. Karoline Malmkjær
    On Some Semantic Issues in the Reflective Tower. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:229-246 [Conf]
  10. Michael G. Main, David L. Black
    Semantic Models for Total Correctness and Fairness. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:247-270 [Conf]
  11. Allen Stoughton
    Equationally Fully Abstract Models of PCF. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:271-283 [Conf]
  12. Lawrence S. Moss, Satish R. Thatte
    Generalization of Final Algebra Semantics by Relativization. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:284-300 [Conf]
  13. Luca Aceto, Matthew Hennessy
    Termination, Deadlock and Divergence. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:301-318 [Conf]
  14. Prakash Panangaden, James R. Russell
    A Category-theoretic Semantics for Unbounded Indeterminacy. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:319-332 [Conf]
  15. J. M. E. Hyland, E. P. Robinson, Giuseppe Rosolini
    Algebraic Types in PER Models. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:333-350 [Conf]
  16. Elsa L. Gunter
    Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:351-363 [Conf]
  17. Radha Jagadeesan
    L-domains and Lossless Powerdomains. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:364-372 [Conf]
  18. Ana Pasztor
    Does "N+1 Times" Prove More Programs Correct Than "N Times"? [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:373-389 [Conf]
  19. A. John Power
    An Algebraic Formulation for Data Refinement. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:390-401 [Conf]
  20. Jifeng He, C. A. R. Hoare
    Categorical Semantics for Programming Languages. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:402-417 [Conf]
  21. John W. Gray
    Initial Algebra Semantics for Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:418-439 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002