Sökning: "Ramunas Gutkovas"

Hittade 1 uppsats innehållade orden Ramunas Gutkovas.

  1. 1. Exercising Psi-calculi : A Psi-calculi workbench

    Master-uppsats, Institutionen för informationsteknologi

    Författare :Ramunas Gutkovas; [2011]
    Nyckelord :;

    Sammanfattning : This thesis presents an automated tool for manipulation and analysis of mobile concurrent systems described in the Psi-calculi framework. Psi-calculi is a family of process calculi, parameterised on data, conditions and a logic. We provide a general framework for implementing instantiations of these parameters, yielding a Psi-calculus. LÄS MER