Author:
Gautier Thierry,Guernic Paul,Besnard Loïc
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Reference Manual for the ADA Programming Language; U.S. Department of Defense, 1983.
2. Manuel officiel de référence LTR 3 (indice 2); CELAR, Bruz, July 1985.
3. OCCAM Programming Manual; INMOS Limited, 1983.
4. C.A.R. HOARE: Communicating Sequential Processes; Comm. of the ACM 21 (8), August 1978, 666–677.
5. G. BERRY, L. COSSERAT: The ESTEREL Synchronous Programming Language and its Mathematical Semantics; Seminar on Concurrency, July 1984, S.D. Brookes, A.W. Roscoe and G. Winskel, editors, Lect. Notes in Computer Science, 197, Springer Verlag, 1985, 389–448.
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language;Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence;2023-12-08
2. Consistency Constraints for Mapping Dataflow Graphs to Hybrid Dataflow/von Neumann Architectures;ACM Transactions on Embedded Computing Systems;2023-09-26
3. Monitoring with verified guarantees;International Journal on Software Tools for Technology Transfer;2023-07-11
4. Hardware Implementation of OCaml Using a Synchronous Functional Language;Lecture Notes in Computer Science;2023
5. Aggregate Update Problem for Multi-clocked Dataflow Languages;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02