Two Problems in Wide Area Network Programming
暂无分享,去创建一个
[1] Marco Pistore,et al. Verifying Mobile Processes in the HAL Environment , 1998, CAV.
[2] Mads Dam,et al. Model Checking Mobile Processes , 1993, Inf. Comput..
[3] Roberto Bruni,et al. Executing Transactions in Zero-Safe Nets , 2000, ICATPN.
[4] Roberto Bruni,et al. Zero-Safe Nets: Comparing the Collective and Individual Token Approaches , 2000, Inf. Comput..
[5] Roberto Bruni,et al. Open Ended Systems, Dynamic Bisimulation and Tile Logic , 2000, IFIP TCS.
[6] Fabio Gadducci,et al. The tile model , 2000, Proof, Language, and Interaction.
[7] Ken Kennedy,et al. Information Technology Research Investing in Our Future , 1999 .
[8] Nicholas Carriero,et al. Coordination languages and their significance , 1992, CACM.
[9] Faron Moller,et al. The Mobility Workbench - A Tool for the pi-Calculus , 1994, CAV.
[10] Marco Pistore,et al. An Introduction to History Dependent Automata , 1998, HOOTS.