Journals in DBLP
Martín Abadi Secrecy in Programming-Language Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] S. Lassen Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. [Citation Graph (0, 0)][DBLP ] Journal ] Catherine Meadows , Dennis M. Volpano The MFPS XV Security Session. [Citation Graph (0, 0)][DBLP ] Journal ] Matías Menni , Alex K. Simpson The Largest Topological Subcategory of Countably-based Equilogical Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Michael W. Mislove Local Dcpos, Local Cpos and Local Completions. [Citation Graph (0, 0)][DBLP ] Journal ] Lawrence S. Moss Recursion and Corecursion Have the Same Equational Logic. [Citation Graph (0, 0)][DBLP ] Journal ] George C. Necula Enforcing Security and Safety with Proof-Carrying Code. [Citation Graph (0, 0)][DBLP ] Journal ] Susan Older Strong fairness and Recursive Communicating Processes. [Citation Graph (0, 0)][DBLP ] Journal ] J. Polokow , Frank Pfenning Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. [Citation Graph (0, 0)][DBLP ] Journal ] John Power , Edmund Robinson Modularity and Dyads. [Citation Graph (0, 0)][DBLP ] Journal ] Ralf Schweimeier , Alan Jeffrey A Categorical and Graphical Treatment of Closure Conversion. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Selinger Categorical Structure of Asynchrony. [Citation Graph (0, 0)][DBLP ] Journal ] Geoffrey Smith , Dennis M. Volpano Confinement Properties for Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP ] Journal ] Ralph Kummetz From Partial Orders with Projections to Domains. [Citation Graph (0, 0)][DBLP ] Journal ] Reinhold Heckmann Completeness Classes of Equilogical Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Paulo Sérgio Almeida Type-checking Balloon Types. [Citation Graph (0, 0)][DBLP ] Journal ] Hongde Hu Contractible Coherence Spaces and Maximal Maps. [Citation Graph (0, 0)][DBLP ] Journal ] C. Barry Jay Denotational Semantics of Shape: Past, Present and Future. [Citation Graph (0, 0)][DBLP ] Journal ] Dominique Bolignano Using Abstract Interpretation for the Safe Verification of Security Protocols. [Citation Graph (0, 0)][DBLP ] Journal ] Viviana Bono , John C. Mitchell , Amit Patel , Vitaly Shmatikov A Core Calculus of Classes and Objects. [Citation Graph (0, 0)][DBLP ] Journal ] Stephen D. Brookes Reasoning About Recursive Processes: Expansion is not Always Fair. [Citation Graph (0, 0)][DBLP ] Journal ] Stephen D. Brookes , Achim Jung , Michael W. Mislove , Andre Scedrov Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Kim B. Bruce , Joseph Vanderwaart Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Krzysztof Ciesielski , Bob Flagg , Ralph Kopperman Characterizing Topologies With Bounded Complete Computational Models. [Citation Graph (0, 0)][DBLP ] Journal ] Martín Hötzel Escardó On the Compact-regular Coreflection of a Stably Locally Compact Locale. [Citation Graph (0, 0)][DBLP ] Journal ] Martín Hötzel Escardó , Bob Flagg Semantic Domains, Injective Spaces and Monads. [Citation Graph (0, 0)][DBLP ] Journal ] Carsten Führmann Direct Models for the Computational Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Syvreson Towards a Strand Semantics for Authentication Logic. [Citation Graph (0, 0)][DBLP ] Journal ] 