The First-Fit (or Grundy) chromatic number of G, written as χFF(G), is defined as the maximum number of classes in an ordered partition of V(G) into independent sets so that each vertex has a neighbor in each set earlier than its own. The well-known Nordhaus–Gaddum inequality states that the sum of the ordinary chromatic numbers of an n-vertex graph Contract grant sponsor: Hungarian National Sc...

Smart contracts are one of the most important applications of the blockchain. Most existing smart contract systems assume that for executing contract over a network of decentralized nodes, the outcome in accordance with the majority can be trusted. However, we observe that users involved with a smart contract may strategically take actions to manipulate execution of the contract for purpose to ...

Information Systems literature emphasizes the importance of efficient contracts for managing outsourcing relationships. However, there is a lack of proven and tested contract designs in theory as well as in practice. With the help of Economic Theory we analyze the underlying dynamics of an outsourcing relationship. Based on mathematical Principal-Agent-Theory we aim at answering the following q...

Criticism of contract theory has always played an important role in Hartmut Kliemt’s writings on political philosophy. Notwithstanding his objections to a consent-based justification of the state he has never subscribed to an anarchist position. In Hartmut Kliemt’s view, a minimal state which protects the basic liberties of its citizens has to be considered legitimate. The article begins with a...

With a predilection for market solutions, neoliberalism upholds that the individual is generally the best judge of his or her interests. Yet markets are never universally applied as a mechanism of allocation and there are reasons, in principle, why capitalism will always have ‘‘missing markets.’’ Concentrating on the application and appropriateness of neoliberal theory to the workplace, this ar...

One of the major issues in IT outsourcing is the management of the client-vendor relationship. Researchers have suggested the use of both formal processes such as contract negotiations and bidding and to informal processes such as relationship management to reduce vendor opportunistic behaviors. This paper explores psychological beliefs about mutual obligations in outsourcing relationships thro...

We have implemented a contract checker for asynchronous, message-passing applications to check that service implementations conform to behavioural contracts. Our contract checker is based on a process algebraic theory of conformance and is implemented on top of a software model checker, Zing. The purpose of this paper is to explain the model construction implemented by our contract checker and ...

Transactions cost theory predicts that the availability of alternatives is one of the determinants of contract duration. Over the last 20 years, the coal market has seen many regulatory changes that have generally increased the number of alternatives in the process of procuring coal. In this paper data from long-term coal contracts for electricity generation signed before 1999 are used to estim...