Skip to main content

2 Result(s)

within Computer Science Remove this filter Computer Communication Networks Remove this filter Software Engineering/Programming and Operating Systems Remove this filter Roberto Bruni Remove this filter

and
Your search also matched 8 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Algebraic Models for Contextual Nets

Include preview-only content

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

  2. Chapter and Conference Paper

    First-Order Dynamic Logic for Compensable Processes

    Compensable programs offer a convenient paradigm to deal with long-running transactions, because they offer a structured and modular approach to the composition of distributed transactional activities, like se...

    Roberto Bruni, Carla Ferreira, Anne Kersten Kauer in Coordination Models and Languages (2012)

    Download PDF (306 KB)