Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams.

Xiong Xu, Jixiang Miao, Shuling Wang, Jean-Pierre Talpin

Browse the full ICFEM paper archive.