𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An axiomatic semantics for nested concurrency

✍ Scribed by Sigurd Meldal

Book ID
105403412
Publisher
Springer Netherlands
Year
1986
Tongue
English
Weight
477 KB
Volume
26
Category
Article
ISSN
0006-3835

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An axiomatic semantics for the synchrono
An axiomatic semantics for the synchronous language Gentzen
✍ Simone Tini πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 343 KB

We propose an axiomatic semantics for the synchronous language Gentzen, which is an instantiation of the paradigm Timed Concurrent Constraint Programming proposed by Saraswat, Jagadeesan and Gupta. We view Gentzen as a prototype of the class of state-oriented synchronous languages, since it offers t

An experimental study of semantics-based
An experimental study of semantics-based concurrency control protocols
✍ Hang Kwong Mak; Man Hon Wong πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 327 KB

The read/write model, which models a database by a collection of data objects that can only be read or written by transactions, has been the traditional underlying data access model for database applications. However, the limited ``concurrency'' provided by the read/write model may disable some appl