S. Kamal Abdali, David S. Wise Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:1-19 [Conf]

David B. Benson, Jerzy Tiuryn Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:53-58 [Conf]

Stephen D. Brookes A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:59-100 [Conf]

Carl A. Gunter Comparing Categories of Domains. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:101-121 [Conf]

Michael G. Main Free Constructions of Powerdomains. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:162-183 [Conf]

Michael W. Mislove Detecting Local Finite Breadth in Continuous Lattices and Semilattices. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:205-214 [Conf]

Ana Pasztor On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:215-248 [Conf]

Naphtali Rishe On Denotational Semantics of Data Bases. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:249-274 [Conf]

Naphtali Rishe Postconditional Semantics of Data Base Queries. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:275-295 [Conf]

Jonathan C. Shultis What is a Model? A Consumer's Perspective on Semantic Theory. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:296-307 [Conf]

Jonathan D. H. Smith Modal Theory, Partial Orders, and Digital Geometry. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:308-323 [Conf]

P. Venugopalan Union Complete Countable Subset Systems. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:342-356 [Conf]

Maria Zamfir, David Martin On the Syntax and Semantics of Concurrent Computing. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:357-394 [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