Reference26 articles.
1. Samson Abramsky. A domain equation for bisumulation. Information and Computation, 92:161–218, 1992.
2. Edward A. Ashcroft and William W. Wadge. Lucid: A non-procedural language with iteration. Communications of the ACM, 20(7):519–526, 1977.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming 19(2):87–152 1992.
4. Richard S. Bird. An introduction to the theory of lists. In M. Broy, editor Logic of Programming and Calculi of Discrete Designvolume 36 of NATO Series F. Springer-Verlag, 1986.
5. G. Boudol, V. Roy, R. de Simone, and D. Vergamini. Process calculi, from theory to practice: Verification tools. In Automatic Verification Methods for Finite State Systems LNCS 407pages 1–10. Springer-Verlag 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Python Subset to Digital Logic Dataflow Compiler for Robots and IoT;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01
2. Functional Stream Derivatives of Context-Awareness on P2P Networks;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2013