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 -
journal of electronics information technology
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom