Distributed Systems

Technical Reports


  1. N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann, and A. Lazovik (2013) An Automated Analysis Of Process Interference Verified With LTL Checking. Technical Report 2013-08-07, University of Groningen. (URL) (BibTeX)
  2. H. Groefsema, P. Bulanov, and M. Aiello (2012) Imperative versus Declarative Process Variability: Why Choose? Technical Report JBI 2011-12-6, University of Groningen. (URL) (BibTeX)
  3. I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik, and M. Aiello (2011) Optimizing Offices for the Smart Grid. Technical Report JBI 2011-12-01, University of Groningen. (URL) (BibTeX)
  4. E. Kaldeli (2009) Using CSP for Adaptable Web Service Composition. Technical Report JBI 2009-7-01, University of Groningen. (URL) (BibTeX)