Relationship Between RTL Automata (ASARTL) and Looping Algorithm Specification (ASASPEC) Based on Algebraic Semantics in Synthesis of Stream Calculus-Based Computing Big Data in Livestream

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2026

View at publisher
Authors: Dang Van Pham, Vinh Cong Phan, Trong Toan Tran
DOI: 10.1007/978-3-032-12941-3_4
Cited by: 0
References: 37

Fields of Study & Subjects

Embedded Systems Design Techniques Logic programming and type systems Formal Methods in Verification

Publication details

Journal / source
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Pages
35–60
Publication date
1 January 2026
Language
EN