Timers for Distributed Systems
暂无分享,去创建一个
[1] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[2] James Riely,et al. Resource Access Control in Systems of Mobile Agents , 1998, Electron. Notes Theor. Comput. Sci..
[3] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[4] Cosimo Laneve,et al. Foundations of Web Transactions , 2005, FoSSaCS.
[5] Robin Milner,et al. Co-Induction in Relational Semantics , 1991, Theor. Comput. Sci..
[6] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[7] Martin Friedrich Berger. Towards abstractions for distributed systems , 2003 .
[8] David L. Mills,et al. A brief history of NTP time: memoirs of an Internet timekeeper , 2003, CCRV.
[9] Matthew Hennessy,et al. A Process Algebra for Timed Systems , 1995, Inf. Comput..
[10] Matthias Felleisen,et al. A Syntactic Approach to Type Soundness , 1994, Inf. Comput..
[11] John Zic,et al. On Modelling Real-Time Mobile Processes , 2002, ACSC.