共 48 条
[22]
Horn P.J., 2001, Tech. Rep.
[25]
Kaiser Gail E., 1987, MERCURY: Distributed Incremental Attribute Grammar Evaluation, DOI [10.7916/D83B675T, DOI 10.7916/D83B675T]
[26]
Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems
[J].
23RD ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2020,
2020,
:90-101
[27]
Knuth D. E., 1968, Mathematical Systems Theory, V2, P127, DOI 10.1007/BF01692511
[28]
Reactors: A Deterministic Model for Composable Reactive Systems
[J].
CYBER PHYSICAL SYSTEMS: MODEL-BASED DESIGN, CYPHY 2019,
2020, 11971
:59-85
[29]
Lohstroh Marten, 2020, Reactors: A deterministic model of concurrent computation for reactive systems
[30]
Maes P., 1987, SIGPLAN Notices, V22, P147, DOI 10.1145/38807.38821