A Game-Theoretic Model for Distributed Programming by Contract
暂无分享,去创建一个
Andrzej Filinski | Anders Starcke Henriksen | Tom Hvitved | Tom Hvitved | Andrzej Filinski | A. Henriksen
[1] MeyerBertrand,et al. Design by Contract , 1997 .
[2] Radha Jagadeesan,et al. Games and full completeness for multiplicative linear logic , 1992, Journal of Symbolic Logic.
[3] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[4] Susan Owicki,et al. An axiomatic proof technique for parallel programs I , 1976, Acta Informatica.
[5] Azer Bestavros. The Input Output Timed Automaton - A model for real-time parallel computation , 1990 .
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[8] Jian Chen,et al. Programming by Contract in a Distributed Object Environment , 2007 .
[9] Philip Wadler,et al. Well-Typed Programs Can't Be Blamed , 2009, ESOP.
[10] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[11] Vasco Thudichum Vasconcelos,et al. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 1998, SecReT@ICALP.
[12] Elliot Mendelson. Introducing Game Theory and its Applications , 2004 .
[13] Jozef Hooman. Extending hoare logic to real-time , 2005, Formal Aspects of Computing.
[14] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[15] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.