Главная

Rosario Pugliese

  1. Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems.

    Чт, 08/11/2011 - 15:01 — SomNambul
    Authors: Rosario Pugliese, Francesco Tiezzi, Laura Kovacs
    Subjects: Software Engineering
    Abstract

    This volume contains the final and revised versions of the papers presented
    at the 7th International Workshop on Automated Specification and Verification
    of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June
    9, 2011, as part of DisCoTec 2011. The aim of the WWV workshop series is to
    provide an interdisciplinary forum to facilitate the cross-fertilization and
    the advancement of hybrid methods that exploit concepts and tools drawn from
    Rule-based programming, Software engineering, Formal methods and Web-oriented
    research.

  2. A criterion for separating process calculi.

    Ср, 12/01/2010 - 16:01 — SomNambul
    Authors: Federico Banti, Rosario Pugliese, Francesco Tiezzi
    Subjects: Formal Languages and Automata Theory
    Abstract

    We introduce a new criterion, replacement freeness, to discern the relative
    expressiveness of process calculi. Intuitively, a calculus is strongly
    replacement free if replacing, within an enclosing context, a process that
    cannot perform any visible action by an arbitrary process never inhibits the
    capability of the resulting process to perform a visible action. We prove that
    there exists no compositional and interaction sensitive encoding of a not
    strongly replacement free calculus into any strongly replacement free one.

Math-arch

RSS-материал