Fischmeister, S., Sokolsky, O., & Lee, I. (2007). A Verifiable Language for Programming Real-Time Communication Schedules IEEE Transactions on Computers, 56, 1505-1519. https://doi.org/10.1109/TC.2007.70747 (Original work published 2007)
Reference author: Oleg Sokolsky
First name
Oleg
Last name
Sokolsky
Fischmeister, S., Sokolsky, O., & Lee, I. (2006). Network-Code Machine: Programmable Real-Time Communication Schedules Proc. Of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 311-324. San Jose, USA. https://doi.org/10.1109/RTAS.2006.31 (Original work published 2025)