Cs-Lo
Dynamic Magic Sets for Super-Consistent Answer Set Programs
Lightweight Time Modeling in Timed Creol
What is a space? Computations in emergent algebras and the front end visual system
A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines
Quantitative testing semantics for non-interleaving
Square root meadows
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
Implicit Recursive Characteristics of STOP
Deductive Inference for the Interiors and Exteriors of Horn Theories
Types for BioAmbients
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
Open Graphs and Computational Reasoning
Verifying Safety Properties With the TLA+ Proof System
Temporal Logics on Words with Multiple Data Values
Galois Theory of Algorithms
Port Protocols for Deadlock-Freedom of Component Systems
A Decidable Characterization of a Graphical Pi-calculus with Iterators
Automatic Verification of Parametric Specifications with Complex Topologies
The Hamiltonian Syllogistic
An Explicit Framework for Interaction Nets
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
Characterizing perfect recall using next-step temporal operators in S5 and sub-S5 Epistemic Temporal Logic
