1 |
R. Miler, J. Parrow and D.J. Walker. A Calculus of Mobile Processes, Part I. Report ECSLFCS8985, Laboratory for foundations of Computer Science, Computer Science Dep., Edinburgh Univ., 1989
DOI
|
2 |
R. Miler. Bigraphical Reactive Systems: Basic Theory. Technical Report 503, University of Cambridge Computer Laboratory, 2001
|
3 |
Wang Yi. CCS+Time = an Interleaving Model for Real-Time System. In Proc. of the Eighteenth Colloquium on Automata Languages and Programming, volume 510 of LNCS. Springer Verlag, 1991
DOI
|
4 |
Jonathan Jacky (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN 0-521-55976-6
|
5 |
Gerard Berry. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998
|
6 |
J. Dawes, The VDM-SL Reference Guide, Pitman 1991. ISBN 0-273-03151-1
|
7 |
R. Miler, J. Parrow and D.J. Walker. A Calculus of Mobile Processes, Part II. Report ECSLFCS8986, Laboratory for foundations of Computer Science, Computer Science Dep., Edinburgh Univ., 1989
DOI
|
8 |
L. Cardelli, and A. D. Gordon. Mobile ambients, In Foundations of Software Science and Computational Structures, Maurice Nivat(Ed), No. 1378 in Lecture Note in Computer Science, Springer, pp.140-155, 1998
DOI
ScienceOn
|
9 |
R. Milner. Bigraphical Reactive Systems, In Proc. of the 12Ih International Conference on Concurrency Theory, No. 2154 in Lecture Note in Computer Science, 2001. pp.1635
DOI
ScienceOn
|
10 |
Xu K, Liu L.C., Wu C. Time Pi Calculus and Weak-timed Bisimulation Analysis, Computer Integrated Manufacturing Systems, 2005, In Press
|
11 |
J. Y. Lee and J. Zic. On modeling real-time mobile processes. Australian Computer Science Communications archive Vol.24, pp.139-147, 2002
DOI
|
12 |
Gao and Li and Chen, Services Composition Modeling with Mobility and Time, services, pp.316-323, 2007 IEEE Congress on Services (Services 2007), 2007
DOI
|
13 |
J. Choi A Calculus for Equivalence Analysis and Verification of Distributed Mobile System Based on Abstraction. PhD Dissertation, Chonbuk national Univ. 2007
|
14 |
UbiMon Systems http://www.ubimon.org/
|