Skip to main content

4 Result(s)

within Roberto Bruni Remove this filter Computer Communication Networks Remove this filter Programming Languages, Compilers, Interpreters Remove this filter Software Engineering/Programming and Operating Systems Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Service Oriented Architectural Design

    We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An architectural style consists of a set of archite...

    Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari… in Trustworthy Global Computing (2008)

  2. Chapter and Conference Paper

    Sessions and Pipelines for Structured Service Programming

    Service-oriented computing is calling for novel computational models and languages with primitives for client-server interaction, orchestration and unexpected events handling. We present CaSPiS, a process calculu...

    Michele Boreale, Roberto Bruni… in Formal Methods for Open Object-Based Distr… (2008)

    Download PDF (339 KB)

  3. No Access

    Book and Conference Proceedings

    Trustworthy Global Computing

    Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

    Ugo Montanari, Donald Sannella, Roberto Bruni in Lecture Notes in Computer Science (2007)

  4. No Access

    Chapter and Conference Paper

    PRISMA: A Mobile Calculus with Parametric Synchronization

    We present PRISMA, a parametric calculus that can be instantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). We define both operational semantics an...

    Roberto Bruni, Ivan Lanese in Trustworthy Global Computing (2007)