We argue that essential facets of Web Services (WSs), and especially, those useful to
understand their interaction, are best described using process-algebraic notations. WS …

It is now well-admitted that formal methods are helpful for many issues raised in the Web
service area. In this paper we present a framework for the design and the verification of WSs …

This paper discusses the application of a general process theory–the π-calculus–for
describing the behavioral perspective of workflow. The π-calculus is a process algebra that …

We present the ω-calculus, a process calculus for formally modeling and reasoning about
Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The ω-calculus naturally …

This book presents the fundamentals of concurrency theory with clarity and rigor. The
authors start with the semantic structure, namely labelled transition systems, which provides …

Presently, there is no satisfactory model for dealing with political autonomy of agents in
policy based management. A theory of atomic policy units called 'promises' is therefore …

This introductory chapter outlines the main problem dealt with in this book: finding suitable
languages for representing classes of Petri nets, taking inspiration from the process …

A method is proposed whereby values for Service Level Objectives (SLOs) of an SLA can be
chosen to reduce the sum IT infrastructure cost plus business financial loss. Business …

Cross-organizational business processes are gaining increased attention these days,
especially with the service oriented architecture (SOA) as a realization for business process …

In informal mathematical discourse (such as the text of a paper on theoretical computer
science), we often reason about equalities involving binding of object-variables. We find …