Modeling and Reasoning of Time-Dependent Concurrent Mobile Systems Based on an Extended π - Calculus
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 48 , 9 ; 30-36
2014-01-01
7 pages
Article (Journal)
Unknown
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration
British Library Online Contents | 2008
|Formal modeling and verification of real-time concurrent systems
Tema Archive | 2008
|A Petri Net Description of Extended Ambient Calculus Model
British Library Online Contents | 2008
|