The approach known as Design by Contract (DbC) [23] promotes reliable software development through elaboration of type signatures for sequential programs with logical formulae. This paper presents an assertion method which generalises the notion of DbC to multiparty distributed interactions, enabling the specification and verification of distributed multiparty protocols, based on the π-calculus...

Birmele [J Graph Theory 2003] proved that every graph with circumference t has treewidth at most t − 1. Under the additional assumption of 2-connectivity, such graphs have bounded pathwidth, which is a qualitatively stronger conclusion. Birmele’s theorem was extended by Birmele et al. [Combinatorica 2007] who showed that every graph without k disjoint cycles of length at least t has treewidth O...

This paper analyses an insurance contract of the Dutch East India Company (Verenigde Oost-Indische Compagnie, VOC) initiated in 1613. As this contract is an early example of risk management, we try to understand its motivation from recent insights in risk management theory of Froot, Scharfstein and Stein (The Journal of Finance 48, 1993, 1629-1658), in which growth opportunities and costly exte...

In this paper an approach to the study of relationship dissolution as a consequence of midrange network change is presented. The key idea is to explain two divergent views of the possibility for legal redress following dyadic relationship disengagement: long term relationship as implied contract, and contract-in-law. An empirical example of an exclusive customer-supplier relationship is present...

We find the maximum number of maximal independent sets in two families of graphs. The first family consists of all graphs with n vertices Contract grant sponsor: Award from DIMACS (partially; to V.R.V.); Contract grant sponsor: NSF VIGRE grant to the Rutgers University Department of Mathematics (partially; to V.R.V.). Journal of Graph Theory © 2006 Wiley Periodicals, Inc. 270 MAXIMAL INDEPENDEN...

There is a well developed and useful theory of Hamiltonian reduction for semidirect products, which applies to examples such as the heavy top, compressible fluids and MHD, which are governed by Lie-Poisson type equations. In this paper we study the Lagrangian analogue of this process and link it with the general theory of Lagrangian reduction; that is the reduction of variational principles. Th...

Let Fk be the family of graphs G such that all sufficiently large k-connected claw-free graphs which contain no induced copies of G are subpancyclic. We show that for every k≥3 the family F1k is infinite and make the first step toward the complete characterization of the family F3. 2009 Wiley Periodicals, Inc. J Graph Theory 62: 263–278, 2009 Contract grant sponsor: KBN (T. L.); Contract grant ...

How do rational firms respond to consumer biases? In this paper, we analyze the profitmaximizing contract design of firms if consumers have time-inconsistent preferences and are partially naive about it. We consider markets for two types of goods: goods with immediate costs and delayed benefits (investment goods) such as health club attendance, and goods with immediate benefits and delayed cost...

A contract splits the responsibilities between a component and its environment into a guarantee that expresses an intended property under the responsibility of the component, given that the environment fulfills the assumptions. Although current contract theories are limited to express contracts over interfaces of components, specifications that are not limited to interfaces are used in practice...

The aim of this conceptual paper is to propose pathways through which psychological contract breach, ethical leader behaviour, and supervisors’ fairness are related to employees’ attitudes, behaviours and wellbeing. The paper reviews extant literature and builds a logical framework depicting the interrelationships among psychological contract breach, ethical leader behaviours, and supervisors’ ...