Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-38592-6_21 | Lecture Notes in Computer Science |
DocType | Volume | ISSN |
Journal | 7892 | 0302-9743 |
Citations | PageRank | References |
14 | 0.65 | 13 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Massimo Bartoletti | 1 | 583 | 44.33 |
Alceste Scalas | 2 | 45 | 7.06 |
Emilio Tuosto | 3 | 499 | 42.62 |
Roberto Zunino | 4 | 255 | 24.79 |