✦ LIBER ✦

True Concurrency = Interleaving Concurrency + Weak Conflict

✍ Scribed by Leila Ribeiro Korff; Martin Korff

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 512 KB
Volume: 14
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80237-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A true concurrency semantics for paralle

A true concurrency semantics for parallel programs

✍ Tatjana Kapus; Bogomir Horvat; Marjeta Pučko 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 348 KB

Concurrent Symbolic Verification of Live

Concurrent Symbolic Verification of Liveness Properties for Interleaved Models

✍ Felice Balarin 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 566 KB

Towards action refinement for true concu

Towards action refinement for true concurrent real time

✍ Mila Majster-Cederbaum; Jinzhao Wu 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 406 KB

Fiber bursts concurrent with a weak nois

Fiber bursts concurrent with a weak noise storm

✍ J. Kuijpers; C. Slottje 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 601 KB

Set-based access conflict analysis of co

Set-based access conflict analysis of concurrent workflow definition

✍ Minkyu Lee; Dongsoo Han; Jaeyong Shim 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 77 KB

Simultaneous and Interleaved Multinuclea

Simultaneous and Interleaved Multinuclear Chemical-Shift Imaging, a Method for Concurrent, Localized Spectroscopy

✍ O. Gonen; J. Murphyboesch; R. Srinivasan; J.N. Hu; H. Jiang; R. Stoyanova; T.R. 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 789 KB

A method is proposed for carrying out chemical-shift imaging simultaneously on several nuclei ( \({ }^{1} \mathrm{H}\) and \({ }^{31} \mathrm{P}\) in this example), using a commercial clinical NMR imager fitted with a second \(\mathrm{RF}\) channel and a dual-tuned birdcage coil to fit the human hea