@inproceedings{e72b75fd4449422787e42f302f43f407,
title = "A calculus for transportation systems",
abstract = "This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), to specify and verify spatial and temporal behaviors of transportation systems. For specification, CaRDMI defines a map, consisting of nodes and edges with spatial and temporal constraints. The movement of a carrier or agent in the system is represented by a path on the map. Interactive constraints among carriers are represented by synchronization modes on objects at nodes, which are distinguishable features of CaRDMI from other methods. Especially, n-to-n timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations. With the rules and relations, it can be measured how two carriers or agents are temporally and/or spatially equivalent. It is another distinguishable feature of CaRDMI.",
keywords = "CaRDMI, Equivalence, Process Algebra, Space, Time",
author = "Moonkun Lee and Jungrhan Choi",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014 ; Conference date: 27-07-2014 Through 29-07-2014",
year = "2014",
month = sep,
day = "18",
doi = "10.1109/COMPSACW.2014.122",
language = "English",
series = "Proceedings - IEEE 38th Annual International Computers, Software and Applications Conference Workshops, COMPSACW 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "722--727",
editor = "Cristina Seceleanu and Bruce McMillin and Chang, \{Carl K.\} and Yan Gao and Kenichi Yoshida and Ali Hurson and Yasuo Okabe and Mihhail Matskin",
booktitle = "Proceedings - IEEE 38th Annual International Computers, Software and Applications Conference Workshops, COMPSACW 2014",
}