Skip to main content

7 Result(s)

within Conference Paper Remove this filter Roberto Bruni 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. No Access

    Chapter and Conference Paper

    Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

    The notion of a session is fundamental in service-oriented applications, as it serves to separate interactions between clients and different instances of the same service, and to group together logical units o...

    Roberto Bruni, Leonardo Gaetano Mezzina in Algebraic Methodology and Software Technology (2008)

  3. 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)

  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)

  5. No Access

    Chapter and Conference Paper

    Normal Forms for Partitions and Relations

    Recently there has been a growing interest towards algebraic structures that are able to express formalisms different from the standard, tree-like presentation of terms. Many of these approaches reveal a speci...

    Roberto Bruni, Fabio Gadducci, Ugo Montanari in Recent Trends in Algebraic Development Tec… (1999)

  6. Chapter and Conference Paper

    Executable Tile Specifications for Process Calculi

    Tile logic extends rewriting logic by taking into account side-effects and rewriting synchronization. These aspects are very important when we model process calculi, because they allow us to expr...

    Roberto Bruni, José Meseguer, Ugo Montanari in Fundamental Approaches to Software Enginee… (1999)

    Download PDF (301 KB)

  7. No Access

    Chapter and Conference Paper

    Zero-safe nets: The individual token approach

    In this paper we provide both an operational and an abstract concurrent semantics for zero-safe nets under the individual token philosophy. The main feature of zero-safe nets is a primitive notion of transition s...

    Roberto Bruni, Ugo Montanari in Recent Trends in Algebraic Development Techniques (1998)