• Conference Object  

      An abstract channel specification and an algorithm implementing it using Java sockets 

      Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)
      Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
    • Article  

      Automated implementation of complex distributed algorithms specified in the IOA language 

      Georgiou, Chryssis; Lynch, N.; Mavrommatis, Panayiotis; Tauber, J. A. (2009)
      IOA is a formal language for describing Input/Output automata that serves both as a formal specification language and as a programming language (Garland et al. in http://theory.lcs.mit.edu/tds/ioa/manual.ps, 2004). The IOA ...
    • Conference Object  

      Evaluating the use of ADLs in component-based development 

      Papadopoulos, George Angelos (2008)
      In this paper we evaluate the use of software architectures in the development of component-based systems. The evaluation is based on the level of support provided by the software architectures formal representatives, ...
    • Article  

      A process calculus for dynamic networks 

      Kouzapas, D.; Philippou, Anna (2011)
      In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
    • Article  

      Type checking purpose-based privacy policies in the π-calculus 

      Kokkinofta, E.; Philippou, Anna (2016)
      In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...