In this paper, a brief account of the field of runtime verification is given. Starting with a
definition of runtime verification, a comparison to well-known verification techniques like …

Communication is becoming one of the central elements in software development. As a
potential typed foundation for structured communication-centred programming, session …

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that
formalizes the compatibility of a client with a service, and the safe replacement of a service …

Abstract Design by Contract (DbC) promotes reliable software development through
elaboration of type signatures for sequential programs with logical predicates. This paper …

To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …

A session takes place between two parties; after establishing a connection, each party
interleaves local computations with communications (sending or receiving) with the other …

This article relates two different paradigms of descriptions of communication behavior, one
focusing on global message flows and another on end-point behaviors, using formal calculi …

We generalise a theory of multiparty session types for the π-calculus through asynchronous
communication subty**, which allows partial commutativity of actions with maximal …

As systems become more service oriented and processes increasingly cross organizational
boundaries, interaction becomes more important. New technologies support the …

Abstract Service-oriented computing is calling for novel computational models and
languages with primitives for client-server interaction, orchestration and unexpected events …