4 ms·
This paper: https://past.date-conference.com/proceedings-archive/2017/pyear/PAPERS/2013/DATE13/PDFFILES/05.7_2.PDF https://past.date-conference.com/proceedings-
by syncurrent 4y ago
This paper: https://past.date-conference.com/proceedings-archive/2017/pyear/PAPERS/2013/DATE13/PDFFILES/05.7_2.PDF https://past.date-conference.com/proceedings-archive/2017/py... is on Sequentially Constructive Synchronous Concurrency which is also the base for the synchronous language Blech (https://www.blech-lang.org/ https://www.blech-lang.org/)