𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A fully abstract denotational model for observational precongruence

✍ Scribed by Anna Ingólfsdóttir; Andrea Schalk

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
211 KB
Volume
254
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

A domain theoretic denotational model is given for a simple sublanguage of CCS extended with divergence operator. The model is derived as an abstraction on a suitable notion of normal forms for labelled transition systems.

📜 SIMILAR VOLUMES

A fully nonequilibrium concerted model f
A fully nonequilibrium concerted model for enzymes
✍ J. S. Shiner 📂 Article 📅 1982 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 586 KB

## Abstract The concerted model of Monod, Wyman, and Changeux is generalized so that all effects of interactions for an enzyme operating at a nonequilibrium stationary state are considered. In contrast to the original model, which is based on an analogy to equilibrium ligand binding, the generaliza

A fully abstract model for the exchange
A fully abstract model for the exchange of information in multi-agent systems
✍ Frank S. de Boer; Rogier M. van Eijk; Wiebe van der Hoek; John-Jules Ch. Meyer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 223 KB

In this paper, 1 we present a semantic theory for the exchange of information in multi-agent systems. We consider the multi-agent programming language agent communication programming language, which integrates the paradigms of concurrent constraint programming and communicating sequential processes