- Proving Trust in Systems of SecondOrder Processes: Preliminary Results \Lambda
- Confidentiality for Mobile Code: The Case of a Simple Payment Protocol
- Relevance Logic and Concurrent Composition Department of Computer Science, University of Edinburgh
- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the
- On the Decidability of Process Equivalences for the SICS, Box 1263, S-164 28 Kista, Sweden
- CTL \Lambda and ECTL \Lambda as fragments of the modal calculus 1
- Proving Properties of Dynamic Process Networks Mads Dam \Lambda
- A Complete Axiomatization of Knowledge and Cryptography
- Fixed points of Buchi automata Department of Computer Science, University of Edinburgh, U.K.
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Compositional Verification of CCS Processes Mads Dam and Dilian Gurov
- Model Checking Mobile Processes \Lambda Swedish Institute of Computer Science
- From HigherOrder Calculus to Calculus in the Presence of Static Operators
- ProcessAlgebraic Interpretations of Positive Linear and Relevant Logics
- Temporal Logic, and Classical Theories
- System Description: Verification of Distributed Erlang Programs
- On the Verification of Open Distributed Systems \Lambda Mads Dam, Larsake Fredlund
- Temporal Logic, and Classical Theories
- Toward Parametric Verification of Open Distributed Systems ?
- Proof Systems for Calculus Logics Mads Dam \Lambda
- Verifying a Distributed Database Lookup Manager Written in Erlang
- Modalities in Analysis and Verification Mads Dam \Lambda
- A Note On SPKI's Authorisation Syntax Olav Bandmann
- Model Checking Mobile Processes Swedish Institute of Computer Science
- On the Secure Implementation of Security Protocols Pablo Giambiagi and Mads Dam
- Confidentiality for Mobile Code: The Case of a Simple Payment Protocol
- Proving Trust in Systems of Second-Order Processes: Preliminary Results
- Proving Trust in Systems of Second-Order Processes (Extended Abstract)
- Compositional Veri cation of CCS Processes Mads Dam and Dilian Gurov
- Proving Properties of Dynamic Process Networks Swedish Institute of Computer Science
- A Research Agenda for Distributed Policy-based Management
- Toward Parametric Veri cation of Open Distributed Systems?
- On the Secure Implementation of Security Protocols 1
- Proving Trust in Systems of SecondOrder Processes (Extended Abstract)
- Relevance Logic and Concurrent Composition Department of Computer Science, University of Edinburgh
- Modalities in Analysis and Veri cation Swedish Institute of Computer Science
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics
- Relevance Logic and Concurrent Composition
- Model Checking Mobile Processes 1 Swedish Institute of Computer Science
- On the Decidability of Process Equivalences for the SICS, Box 1263, S164 28 Kista, Sweden
- SICS research report R96:03 ISRN: SICSR--96/3--SE ISSN: 02833638
- Decentralized Computation of Threshold Crossing Alerts
- On the Veri cation of Open Distributed Systems Mads Dam, Lars-ake Fredlund
- System Description: Veri cation of Distributed Erlang Programs
- Relevance Logic and Concurrent Composition
