๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Game Semantics of Idealized CSP

โœ Scribed by J. Laird

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
285 KB
Volume
45
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A semantics for Behavior Trees using CSP
A semantics for Behavior Trees using CSP with specification commands
โœ Robert J. Colvin; Ian J. Hayes ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 639 KB

In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used with success in industry to systematically translate large, complex, and often erroneous requirements documents into a structured model of the system. It contains a mixture

A game semantics for generic polymorphis
A game semantics for generic polymorphism
โœ Samson Abramsky; Radha Jagadeesan ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 360 KB
The regular-language semantics of second
The regular-language semantics of second-order idealized ALGOL
โœ Dan R. Ghica; Guy McCusker ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 479 KB

We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized ALGOL (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inh