Author:
Liu Xiaojun,Matsikoudis Eleftherios,Lee Edward A.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Trans. Program. Lang. Syst. 16(5), 1543–1571 (1994)
2. Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Fundamenta Informaticae 11(2), 181–205 (1980)
3. Aronszajn, N., Panitchpakdi, P.: Extension of uniformly continuous transformations and hyperconvex metric spaces. Pacific Journal of Mathematics 6(3), 405–439 (1956)
4. Baier, C., Majster-Cederbaum, M.E.: Denotational semantics in the cpo and metric approach. Theoretical Computer Science 135(2), 171–220 (1994)
5. Calude, C.S., Marcus, S., Staiger, L.: A topological characterization of random sequences. Information Processing Letters 88(5), 245–250 (2003)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Parallel Reinforcement Learning Framework Using the Reactor Model;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17
2. Time-Sensitive Software;Research Directions: Cyber-Physical Systems;2023
3. Toward a Lingua Franca for Deterministic Concurrent Systems;ACM Transactions on Embedded Computing Systems;2021-07-31
4. Reactors: A Deterministic Model for Composable Reactive Systems;Cyber Physical Systems. Model-Based Design;2020
5. Acumen: An Open-Source Testbed for Cyber-Physical Systems Research;Internet of Things. IoT Infrastructures;2016