We present an order-extensional, order (or inequationally) fully abstract model for Scott's
language pcf. The approach we have taken is very concrete and in nature goes back to S. C …

The neutron longitudinal and transverse asymmetries A 1 n and A 2 n have been extracted
from deep inelastic scattering of polarized electrons by a polarized He 3 target at incident …

The Business Process Model and Notation (BPMN) is a standard for business process
modeling that is very common in professional practice due to its expressiveness, the well …

A category of HO/N-style games and probabilistic strategies is developed where the
possible choices of a strategy are quantified so as to give a measure of the likelihood of …

A game semantics of finite nondeterminism is proposed. In this model, a strategy may make
a choice between different moves in a given situation; moreover, strategies carry extra …

The description of resources in game semantics has never achieved the simplicity and
precision of linear logic, because of the misleading conception that linear logic is more …

In game semantics, the higher-order value passing mechanisms of the λ-calculus are
decomposed as sequences of atomic actions exchanged by a Player and its Opponent …

Harmer and McCusker have developed a fully abstract game model for nondeterministic
Idealised Algol and, at the same time, revealed difficulties in constructing game models for …

Probabilistic concurrent game semantics Page 1 Technical Report Number 950 Computer
Laboratory UCAM-CL-TR-950 ISSN 1476-2986 Probabilistic concurrent game semantics Hugo …

In game semantics, one expresses the higher-order value passing mechanisms of the λ-
calculus as sequences of atomic actions exchanged by a Player and its Opponent in the …