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 …

Repetitive and ambiguous visual structures in general pose a severe problem in many
computer vision applications. Identification of incorrect geometric relations between images …

Proof-carrying code (PCC) is a framework for mechanically verifying the safety of machine
language programs. A program that is successfully verified by a PCC system is guaranteed …

The aim of this chapter is to give an introduction to some recent work on the application of
game semantics to the study of programming languages. An initial success for game …

Call-by-push-value is a new paradigm that subsumes the call-by-name and call-by-value
paradigms, in the following sense: both operational and denotational semantics for those …

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 …

We present ReactiveML, a programming language dedicated to the implementation of
complex reactive systems as found in graphical user interfaces, video games or simulation …

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 …