Honesty by Typing

@article{Bartoletti2017HonestyBT,
  title={Honesty by Typing},
  author={Massimo Bartoletti and A. Scalas and E. Tuosto and R. Zunino},
  journal={Logical Methods in Computer Science},
  year={2017},
  volume={12}
}
We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has stipulated in all possible contexts, even in presence of dishonest adversaries. Type inference is decidable, and it allows to safely approximate the honesty of processes using either synchronous or… Expand

References

SHOWING 1-10 OF 43 REFERENCES
Honesty by Typing
On the realizability of contracts in dishonest systems
A Calculus of Contracting Processes
Choreography Synthesis as Contract Agreement
Fundamentals of session types
Contracts in distributed systems
...
1
2
3
4
5
...