𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A true concurrency semantics for parallel programs

✍ Scribed by Tatjana Kapus; Bogomir Horvat; Marjeta Pučko

Publisher
Elsevier Science
Year
1993
Weight
348 KB
Volume
39
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A kripke-kleene semantics for logic prog
A kripke-kleene semantics for logic programs*
✍ Melvin Fitting 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 895 KB

We use a language L in which we have the propositional connectives A (and), V (or), and -i (not) as primitive. Alternatively we could take some as primitive and define others via the usual definitions, which work even in Kleene's three-valued logic. We also allow quantifiers V and 3, taking both as

Skeleton-based parallel programming: Fun
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
✍ Marco Aldinucci; Marco Danelutto 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 783 KB

Semantics of skeleton-based parallel programming languages comes usually as two distinct items: a functional semantics, modeling the function computed by the skeleton program, and a parallel semantics describing the ways used to exploit parallelism during the execution of the skeleton program. The f

A declarative semantics for depth-first
A declarative semantics for depth-first logic programs
✍ Birgit Elbl 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Depth-®rst evaluation causes a gap between the result of the computation and the classical declarative semantics for logic programs. The paper presents a new semantics for logic programs closing that gap. Although not classical, this semantics, called biquantale semantics, is declarative, since it i