Open AccessSubstitution Determination of Cyber-physical System Components via Time-space π-Calculus
Author(s) -
Peng Wang,
Yang Xiang,
Yu-wei Zong,
Qi Zhang
Publication year - 2013
Publication title -
dianzi yu xinxi xuebao
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.191
H-Index - 27
ISSN - 1009-5896
DOI - 10.3724/sp.j.1146.2012.00402
Subject(s) - substitution (logic) , calculus (dental) , cyber physical system , computer science , space (punctuation) , space time , spacetime , algebra over a field , mathematics , pure mathematics , physics , engineering , programming language , medicine , chemical engineering , operating system , dentistry , quantum mechanics