Publisher
Springer International Publishing
Reference24 articles.
1. Anderson, C.J., et al.: NetKAT: semantic foundations for networks. ACM SIGPLAN Notices 49(1), 113–126 (2014)
2. Lecture Notes in Computer Science;V Antimirov,1995
3. Antimirov, V., Mosses, P.: Rewriting extended regular expressions. Theoret. Comput. Sci. 143(1), 51–72 (1995)
4. Berry, G.: The constructive semantics of pure Esterel-draft version 3. Draft Version, 3 (1999)
5. Berry, G.: The Esterel v5 language primer: version v5\_91. Centre de mathématiques appliquées, Ecole des mines and INRIA (2000)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ProveNFix: Temporal Property-Guided Program Repair;Proceedings of the ACM on Software Engineering;2024-07-12
2. Thorium: A Language for Bounded Verification of Dynamic Reactive Objects;Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2023-10-19
3. Monitoring with verified guarantees;International Journal on Software Tools for Technology Transfer;2023-07-11
4. Implicit state machines;Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2022-06-14
5. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022