𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An axiomatic definition of synchronization primitives

✍ Scribed by Alain J. Martin

Publisher
Springer-Verlag
Year
1981
Tongue
English
Weight
766 KB
Volume
16
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An axiomatic definition of shannon's ent
An axiomatic definition of shannon's entropy
✍ K.K. Nambiar; Pramod K. Varma; Vandana Saroch πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 114 KB

An axiomatic definition of Shannon's entropy H is suggested under the assumption that it is an analytic function. From the two simple axioms given, H = -Cpk log pk follows in a straightforward manner.

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

On the axiomatic definition of real JB*–
On the axiomatic definition of real JB*–triples
✍ Antonio M. Peralta πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 111 KB

## Abstract In the last twenty years, a theory of real Jordan triples has been developed. In 1994 T. Dang and B. Russo introduced the concept of J\*B–triple. These J\*B–triples include real C\*–algebras and complex JB\*–triples. However, concerning J\*B–triples, an important problem was left open.