Article history: Received 24 November 2015 Available online 27 December 2016 JEL classification: C72 C78 C92 D03 D86

We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest — that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.

to achieve the academic degree " Master of Science " (MSc) Highly efficient carbon-nanostructures-based gas sensors for biomedical and other applications presented by I, hereby declare that this thesis is entirely the results of my own work except where otherwise indicated. I have only used the resources given in the list of reference. Simon for all their support during this project and the int...

Theoretical arguments and empirical evidence are advanced to bolster the claim that direct political participation via referenda and initiatives constitutes an advanced form of democracy with beneficial effects on Transition Countries. Direct democracy raises trust and honesty and improves social outcomes. Per capita incomes and subjective well-being are raised. Standard arguments against direc...

We define secure implementation with partially honest agents in a social choice model and we show that strategy-proofness is a necessary and sufficient condition for it. This result offers a behavioral foundation for rectangularity ; and it remains valid even with only one partially honest agent. We apply the concept to a single-crossing voting environment, and we prove that it characterizes th...

Social responsibility is of great significance for the sustainable development of the whole society as well as every enterprise. Due to some misunderstandings held by China’s private enterprises, some problems such as the lack of honesty, infringing upon laborers’ rights and environmental pollution have been brought about. Therefore, private entrepreneurs are expected to take up their responsib...

This paper presents data collected from 5 real-world (federal, state and commercial) groups as they undertook their real-world (Business Process Reengineering (BPR) and Joint Application Development (JAD)) projects. The data were collected over a series of 41 actual meetings and organized around group characteristics such as commitment, honesty, perceived production, etc. The analysis of these ...

I consider a standard implementation problem under complete information when agents have a minimal degree of honesty. In particular, I assume that agents are white lie averse: they strictly prefer to tell the truth whenever lying has no eect on their material payo. I show that if there are at least five agents who are all white lie averse and if I impose either of two refinements of Nash equi...