241 followers
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. - Joaquin Aguado,… http://t.co/8vG65UCzDQ
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. - Joaquin Aguado,… http://t.co/8vG65UCzDQ