A decision procedure for linear "big O" equations
A Declarative Semantics for CLP with Qualification and Proximity
A dependent nominal type theory
A Development Calculus for Specifications
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
A duality between exceptions and states
A Dynamic Algebraic Specification for Social Networks
A Dynamic Approach to Characterizing Termination of General Logic Programs
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
A Family of Encodings for Translating Pseudo-Boolean Constraints into SAT
A feasible algorithm for typing in Elementary Affine Logic
A Few Considerations on Structural and Logical Composition in Specification Theories
A Few Remarks About Formal Development of Secure Systems
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of<br> Automata
A finiteness structure on resource terms
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
A Formal Foundation for ODRL
A Formal Framework of Virtual Organisations as Agent Societies