@ccorrodi Published version has just gone live: https://t.co/djLP02S8FN
594 followers
5,212 followers
RT @ChrisPoskitt: Delighted to have our paper accepted by Formal Aspects of Computing! "A Semantics Comparison Workbench for a Concurrent,…
37 followers
RT @ChrisPoskitt: Delighted to have our paper accepted by Formal Aspects of Computing! "A Semantics Comparison Workbench for a Concurrent,…
594 followers
Delighted to have our paper accepted by Formal Aspects of Computing! "A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language", joint work with @ccorrodi & A. Heußner. Preprint: https://t.co/FNTeeG385R