@dblp

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.

, , , , , , , , and . ACM Trans. Embed. Comput. Syst., 13 (4s): 144:1-144:26 (2014)

Links and resources

Tags