4 citations · 5 across the 4 of their papers we have counts for
4 papers
Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
Guilheme Jaber, Davide Sangiorgi
We establish a tight connection between two models of the -calculus, namely Milner's encoding into the -calculus (precisely, the Internal -calculus), and operational game…
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…
Trace Properties from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber +2
We propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Se…
Trace semantics for polymorphic references
Guilhem Jaber, Nikos Tzevelekos
We introduce a trace semantics for a call-by-value language with full polymorphism and higher-order references. This is an operational game semantics model based on a nominal inter…