𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Fully Abstract Model for Mobile Ambients

✍ Scribed by M. Coppo; M. Dezani-Ciancaglini

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
136 KB
Volume
62
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A fully abstract denotational model for
A fully abstract denotational model for observational precongruence
✍ Anna IngΓ³lfsdΓ³ttir; Andrea Schalk πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 211 KB

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.

A model for fully formed shear bands
A model for fully formed shear bands
✍ T.W. Wright; H. Ockendon πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 539 KB
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