Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Page
%P
10 Result(s)
within
Roberto Bruni
Computer Communication Networks
Software Engineering/Programming and Operating Systems
-
Chapter and Conference Paper
Algebraic Models for Contextual Nets
We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two in...
-
Chapter
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoi...
-
Chapter
Transactions and Zero-Safe Nets
When employing Petri nets to model distributed systems, one must be aware that the basic activities of each component can vary in duration and can involve smaller internal activities, i.e., that transitions ar...
-
Chapter and Conference Paper
Generalized Rewrite Theories
Since its introduction, more than a decade ago, rewriting logic has attracted the interest of both theorists and practitioners, who have contributed in showing its generality as a semantic and logical framewor...
-
Chapter and Conference Paper
Symbolic Equivalences for Open Systems
Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the possible hosting environments, such equivalences ...
-
Book and Conference Proceedings
-
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...
-
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...
-
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...
-
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...
