暂无分享,去创建一个
[1] Christopher D. Clack,et al. Smart Contract Templates: foundations, design landscape and research directions , 2016, ArXiv.
[2] David Turner. An overview of Miranda , 1986, SIGP.
[3] Eric A. Brewer,et al. Towards robust distributed systems (abstract) , 2000, PODC '00.
[4] Simon Thompson. Miranda - the craft of functional programming , 1995 .
[5] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[6] David Turner. Functional programs as executable specifications , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[7] Nick Szabo,et al. Formalizing and Securing Relationships on Public Networks , 1997, First Monday.
[8] Colin J. Fidge,et al. Timestamps in Message-Passing Systems That Preserve the Partial Ordering , 1988 .
[9] Christopher D. Clack,et al. Programming with Miranda , 1995 .
[10] Friedemann Mattern,et al. Virtual Time and Global States of Distributed Systems , 2002 .