Journals in DBLP
Lei Fan A New Approach to Quantitative Domain Theory. [Citation Graph (0, 0)][DBLP ] Journal ] James Laird A Game Semantics of Idealized CSP. [Citation Graph (0, 0)][DBLP ] Journal ] Keye Martin Unique Fixed Points in Domain Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Annabelle McIver A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. [Citation Graph (0, 0)][DBLP ] Journal ] John C. Mitchell , Ajith Ramanathan , Andre Scedrov , Vanessa Teague A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Journal ] Lasse R. Nielsen A Selective CPS Transformation. [Citation Graph (0, 0)][DBLP ] Journal ] Gordon D. Plotkin , John Power Semantics for Algebraic Operations. [Citation Graph (0, 0)][DBLP ] Journal ] John Power , Konstantinos Tourlas An Algebraic Foundation for Graph-based Diagrams in Computing. [Citation Graph (0, 0)][DBLP ] Journal ] Jan J. M. M. Rutten Elements of Stream Calculus (An Extensive Exercise in Coinduction). [Citation Graph (0, 0)][DBLP ] Journal ] Peter Sestoft Demonstrating Lambda Calculus Reduction. [Citation Graph (0, 0)][DBLP ] Journal ] Hayo Thielecke Comparing Control Constructs by Double-barrelled {CPS} Transforms. [Citation Graph (0, 0)][DBLP ] Journal ] Achim Jung , Mathias Kegelmann , M. Andrew Moshier Stably Compact Spaces and Closed Relations. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Hyland , John Power Pseudo-commutative Monads. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Huth , Shekhar Pradhan Model-Checking View-Based Partial Specifications. [Citation Graph (0, 0)][DBLP ] Journal ] Andrej Bauer A Relationship between Equilogical Spaces and Type Two Effectivity. [Citation Graph (0, 0)][DBLP ] Journal ] Stephen D. Brookes Transfer Principles for Reasoning About Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Journal ] Stephen D. Brookes , Michael W. Mislove Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Patrick Cousot , Radhia Cousot A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel Damian Time Stamps for Fixed-Point Approximation. [Citation Graph (0, 0)][DBLP ] Journal ] Fabio Gadducci , Ugo Montanari A Concurrent Graph Semantics for Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Journal ] Dan R. Ghica Regular-Language Semantics for a Call-by-Value Programming Language. [Citation Graph (0, 0)][DBLP ] Journal ] Andrew D. Gordon , Alan Jeffrey Typing Correspondence Assertions for Communication Protocols. [Citation Graph (0, 0)][DBLP ] Journal ] Joshua D. Guttman Key Compromise, Strand Spaces, and the Authentication Tests. [Citation Graph (0, 0)][DBLP ] Journal ] John Hannan On Extracting Static Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Pawel Waszkiewicz Distance and Measurement in Domain Theory. [Citation Graph (0, 0)][DBLP ] Journal ] 