Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990
    DBLP: db/conf/mfps/mfps1989.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 21  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Samson Abramsky.
    A Generalized Kahn Principle for Abstract Asynchronous Networks.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Luca Aceto, Matthew Hennessy.
    Termination, Deadlock and Divergence.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Geoff Barrett.
    The Semantics of Priority and Fairness in occam.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Lawrence S. Moss, Satish R. Thatte.
    Generalization of Final Algebra Semantics by Relativization.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Prakash Panangaden, James R. Russell.
    A Category-theoretic Semantics for Unbounded Indeterminacy.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Ana Pasztor.
    Does "N+1 Times" Prove More Programs Correct Than "N Times"?
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Frank Pfenning, Christine Paulin-Mohring.
    Inductively Defined Types in the Calculus of Constructions.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    John Power.
    An Algebraic Formulation for Data Refinement.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    George M. Reed.
    A Hierarchy of Domains for Real-Time Distributed Computing.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Conference paper
    Luca Cardelli, John C. Mitchell.
    Operations on Records.
    Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings 1990 (0) 1989
    Show item 1 to 10 of 21  

    Your query returned 21 matches in the database.