A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour

Yuanrui Zhang, Yixiang Chen, Hengyang Wu. A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access, 7:57172-57187, 2019. [doi]

Abstract

Abstract is missing.