Open AccessSemantics Foundation for Cyber-physical Systems Using Higher-order UTP
Author(s) -
Xiong Xu,
Jean-Pierre Talpin,
Shuling Wang,
Bohua Zhan,
Naijun Zhan
Publication year - 2022
Publication title -
acm transactions on software engineering and methodology
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 78
eISSN - 1557-7392
pISSN - 1049-331X
DOI - 10.1145/3517192
Subject(s) - computer science , rotation formalisms in three dimensions , semantics (computer science) , concurrency , programming language , abstraction , operational semantics , theoretical computer science , communicating sequential processes , domain (mathematical analysis) , software engineering , mathematical analysis , philosophy , geometry , mathematics , epistemology
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