✦ LIBER ✦

Deriving distributed processes from concurrent processes

✍ Scribed by Padmanabhan Krishnan

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 748 KB
Volume: 37
Category: Article
ISSN: 0950-5849
DOI: 10.1016/0950-5849(95)90931-j

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correctness of concurrent processes

✍ Ernst-Rüdiger Olderog 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 948 KB

Distributed filter processes

✍ Rushikesh K. Joshi 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB

Global optimisation of fault-tolerant al

Global optimisation of fault-tolerant allocation of concurrent communicating processes in distributed environments

✍ Vincenzo Piuri; Evgenij Tourouta 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 526 KB

Concurrent Derivations as Single Pushout

Concurrent Derivations as Single Pushout Graph Grammar Processes

✍ Martin Korff; Leila Ribeiro 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 688 KB

Algebraic graph transformations visually support intuition, have a strong theoretical basis, and provide a formal, implementation independent basis for the description of discretely evolving computational systems and their formal and tractable analysis. Graph grammar models of concurrent systems (pe

Moments analysis of concurrent poisson p

Moments analysis of concurrent poisson processes

✍ G.W. McBeth; P. Cross 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 381 KB

Fixation for distributed clustering proc

Fixation for distributed clustering processes

✍ M. R. Hilário; O. Louidor; C. M. Newman; L. T. Rolla; S. Sheffield; V. Sidoravic 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB