Two Problems in Wide Area Network Programming ? (Position Statement)
暂无分享,去创建一个
[1] Marco Pistore,et al. Verifying Mobile Processes in the HAL Environment , 1998, CAV.
[2] Marco Pistore,et al. An Introduction to History Dependent Automata , 1998, HOOTS.
[3] Roberto Bruni,et al. Open Ended Systems, Dynamic Bisimulation and Tile Logic , 2000, IFIP TCS.
[4] Fabio Gadducci,et al. The tile model , 2000, Proof, Language, and Interaction.
[5] Roberto Bruni,et al. Zero-Safe Nets: Comparing the Collective and Individual Token Approaches , 2000, Inf. Comput..
[6] Roberto Bruni,et al. Executing Transactions in Zero-Safe Nets , 2000, ICATPN.
[7] Mads Dam,et al. Model Checking Mobile Processes , 1993, Inf. Comput..