
Conferences in DBLP
Introduction to Decidability of HigherOrder Matching. [Citation Graph (, )][DBLP]
A Semantic Foundation for Hidden State. [Citation Graph (, )][DBLP]
LinearlyUsed Continuations in the Enriched Effect Calculus. [Citation Graph (, )][DBLP]
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience. [Citation Graph (, )][DBLP]
Completeness for Algebraic Theories of Local State. [Citation Graph (, )][DBLP]
Fair Adversaries and Randomization in TwoPlayer Games. [Citation Graph (, )][DBLP]
Retaining the Probabilities in Probabilistic Testing Theory. [Citation Graph (, )][DBLP]
Forward Analysis of DepthBounded Processes. [Citation Graph (, )][DBLP]
Incremental PatternBased Coinduction for Process Algebra and Its Isabelle Formalization. [Citation Graph (, )][DBLP]
Parameterised Multiparty Session Types. [Citation Graph (, )][DBLP]
On the Relationship between Spatial Logics and Behavioral Simulations. [Citation Graph (, )][DBLP]
An Easy Completeness Proof for the Modal µCalculus on Finite Trees. [Citation Graph (, )][DBLP]
When ModelChecking Freeze LTL over Counter Machines Becomes Decidable. [Citation Graph (, )][DBLP]
Model Checking Is Static Analysis of Modal Logic. [Citation Graph (, )][DBLP]
Counting CTL. [Citation Graph (, )][DBLP]
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. [Citation Graph (, )][DBLP]
Toward a Compositional Theory of Leftist Grammars and Transformations. [Citation Graph (, )][DBLP]
Degrees of Lookahead in Regular Infinite Games. [Citation Graph (, )][DBLP]
Reachability Analysis of Communicating Pushdown Systems. [Citation Graph (, )][DBLP]
The Complexity of Synchronous Notions of Information Flow Security. [Citation Graph (, )][DBLP]
Monads Need Not Be Endofunctors. [Citation Graph (, )][DBLP]
CIA Structures and the Semantics of Recursion. [Citation Graph (, )][DBLP]
Coalgebraic Correspondence Theory. [Citation Graph (, )][DBLP]
Untyped Recursion Schemes and Infinite Intersection Types. [Citation Graph (, )][DBLP]
Solvability in Resource LambdaCalculus. [Citation Graph (, )][DBLP]
A Hierarchy for Delimited Continuations in CallbyName. [Citation Graph (, )][DBLP]
