- Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza
- A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings
- Modular Domain Specific Languages and Tools Department of Computer Science
- A Fault Tolerance Bisimulation Proof For Consensus (Extended Abstract)
- Sarah E. Chodrow Department of Computer Sciences
- A Formal Model of Provenance in Distributed Systems Issam Souilah
- An Immunological Approach to {ChangeDetection: Algorithms, Analysis and Implications
- Efficient Run-Time Monitoring of Timing Constraints Aloysius K. Mok and Guangtian Liu
- Monads for functional programming Philip Wadler, University of Glasgow
- Distributed Protocols as Behaviours in Erlang Darren Demicoli
- Proofs are Programs: 19th Century Logic and 21st Century Computing
- A Theory of System Behaviour in the Presence of Node and Link Failure
- Reasoning about Explicit Resource Management Edsko de Vries
- PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY
- A Unified Framework for Verification Techniques for Object Invariants
- A Unified Framework for Verification Techniques for Object Invariants
- A Theory for Observational Fault Tolerance (Extended Abstract)
- Computer Science Report Location and Link Failure in a
- A Formal Model of Provenance in Distributed Systems
- Motivation Methodology Conclusions A Fault Tolerance Bisimulation Proof for
- A Theory of System Fault Tolerance Adrian Francalanza and Matthew Hennessy
- Failure and Fault Tolerance in a distributed -calculus
- Dynamic Recovering of Long Running Transactions
- by @z Bentley programming
- The Danger Theory and Its Application to Artificial Immune Proceedings of the 1st Internat Conference on ARtificial Immune Systems (ICARIS-2002), pp 141-148, Canterbury, UK, 2002.
- This is a preprint of a paper to appear in the Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science, to
- Mars: A MapReduce Framework on Graphics Processors Bingsheng He
- Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser
- I N S T I T U T F U R I N F O R M A T I K Runtime Verification for LTL and TLTL
- Workshop on Generative Technologies 2010 Generating correct and efficient equality and
- Compensations in an Imperative Programming Language Adrian Francalanza
- A Theory for Observational Fault Tolerance Adrian Francalanza1
- Runtime Monitoring of Distributed Systems Adrian Francalanza
- A Study of Failure in a Distributed Pi-calculus Adrian Francalanza
- Are Virtual Machine Monitors Microkernels Done Right? Steven Hand, Andrew Warfield, Keir Fraser,
- The Next 700 ProgrammingLanguages P. J. Landin
- A Theory for Observational Fault Tolerance Adrian Francalanza a
- Refinement: An Overview Ana Cavalcanti1
- DRAFT August 19, 2009 c A. Francalanza, E. de Vries and M. Hennessy Uniqueness Typing for Resource Management in
- A Theory of System Behaviour in the presence of
- Gradual Typing of Erlang Programs: A Wrangler Experience Konstantinos Sagonas Daniel Luna
- ELARVA: A Monitoring tool for Erlang Christian Colombo, Adrian Francalanza, and Rudolph Gatt
- Submitted to: FLACOS 2011
- Verification Techniques for Distributed Anna Philippou and George Michael
- McErlang: A Model Checker for a Distributed Functional Programming Language
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- BRICSRS-98-50Aceto&Ingolfsdottir:TestingHennessy-MilnerLogicwithRecursion BRICSBasic Research in Computer Science
