Distributed Systems

Technical Reports


  1. An Automated Analysis Of Process Interference Verified With LTL Checking ( and ), Technical report 2013-08-07, University of Groningen, . [pdf]
  2. Imperative versus Declarative Process Variability: Why Choose? ( and ), Technical report JBI 2011-12-6, University of Groningen, . [pdf]
  3. Optimizing Offices for the Smart Grid ( and ), Technical report JBI 2011-12-01, University of Groningen, . [pdf]
  4. Using CSP for Adaptable Web Service Composition (), Technical report JBI 2009-7-01, University of Groningen, . [pdf]