@ccorrodi Published version has just gone live: https://t.co/djLP02S8FN
RT @ChrisPoskitt: Delighted to have our paper accepted by Formal Aspects of Computing! "A Semantics Comparison Workbench for a Concurrent,…
RT @ChrisPoskitt: Delighted to have our paper accepted by Formal Aspects of Computing! "A Semantics Comparison Workbench for a Concurrent,…
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
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. https://t.co/Hz0JpXH7J0
#arXiv #cs_LO "A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. … https://t.co/Ze9EZwopBA