Modeling and Reasoning of Time-Dependent Concurrent Mobile Systems Based on an Extended π - Calculus
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 48 , 9 ; 30-36
01.01.2014
7 pages
Aufsatz (Zeitschrift)
Unbekannt
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 Archiv | 2008
|A Petri Net Description of Extended Ambient Calculus Model
British Library Online Contents | 2008
|