@inproceedings{5b24293d6e534782b663625975bb9a5b,
title = "A process algebra for specification and analysis of temporal properties of agents distributed over networked space",
abstract = "A number of formal methods have been reported for developing distributed real-time systems in process algebra. However most of the methods are not practically suitable for the systems due to the exponential complexity of the methods caused by the integrated specification of the spatial and temporal properties. In order to make process algebra more suitable for the systems, the paper proposes a new formal method, namely, CARDMI, and a specification and analysis tool, namely, SAVE, for the method, where the complexity is dramatically reduced by separating the spatial dimension structurally from the temporal domain in specification and analysis. CARDMI and SAVE can make the specification and analysis of the systems more realistic and practical for industrial applications.",
keywords = "Analysis, CARDMI, Formal method, Process algebra, SAVE, Specification, TAG",
author = "Jinho On and Jungrhan Choi and Moonkun Lee",
year = "2008",
language = "English",
isbn = "1601320663",
series = "Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008",
pages = "56--62",
booktitle = "Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008",
note = "2008 International Conference on Foundations of Computer Science, FCS 2008 ; Conference date: 14-07-2008 Through 17-07-2008",
}