32 citations · 61 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021★ 1 cited
Leafy Automata for Higher-Order Concurrency
Alex Dixon, Ranko Lazić, Andrzej S. Murawski +1
Finitary Idealized Concurrent Algol (FICA) is a prototypical programming language combining functional, imperative, and concurrent computation. There exists a fully abstract game m…
cs.LO2021
Complete trace models of state and control
Guilhem Jaber, Andrzej S. Murawski
We consider a hierarchy of four typed call-by-value languages with either higher-order or ground-type references and with either callcc or no control operator.Our first result is a…