Verifying higher-order concurrency with data automata

Using a combination of automata-theoretic and game-semantic techniques, we propose a method for analysing higher-order concurrent programs. Our language of choice is Finitary Idealised Concurrent Algol (FICA) due to its relatively simple fully abstract game model.Our first contribution is an automat...

Popoln opis

Bibliografske podrobnosti
Main Authors: Dixon, A, Lazić, R, Murawski, AS, Walukiewicz, I
Format: Conference item
Jezik:English
Izdano: IEEE 2021