@inproceedings{7406cb31027c423688de24d719e460c5,
title = "Extension of TDπ- Calculus in Real-Time Distributed Virtual-Test System Description",
abstract = "π-calculus is a name-passing calculus based on CCS. It can model distributed communicating system of dynamic topostructure. Timed distributed π-calculus (TDπ-calculus) is presented as a rigorous framework for describing distributed systems with time and resource constraints. The real-time distributed virtual-test system in military field has the feature of different applications with different real-time requirements. TDπ-calculus is appropriate to describe such a system but need to be improved. For this purpose, we had extended the timer of TDπ-calculus in this paper. The extended TDπ-calculus can easily describe the different real-time requirements of different components or applications of the same system, as well as the data interaction between them.",
keywords = "π-calculus, Realtime, Timed distributed π- calculus, Virtual test",
author = "Wang Qiong and Du Chenglie and Ma Chunyan and Li Gang",
year = "2008",
doi = "10.1109/CSSE.2008.907",
language = "英语",
isbn = "9780769533360",
series = "Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008",
pages = "363--369",
booktitle = "Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008",
note = "International Conference on Computer Science and Software Engineering, CSSE 2008 ; Conference date: 12-12-2008 Through 14-12-2008",
}