✦ LIBER ✦

Concurrent nets: A study of prefixing in process calculi

✍ Scribed by Emmanuel Beffara; François Maurel

Book ID: 108281183
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 299 KB
Volume: 356
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.02.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent Nets: A Study of Prefixing in

Concurrent Nets: A Study of Prefixing in Process Calculi

✍ Emmanuel Beffara; François Maurel 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Reflections on the Future of Concurrency

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

✍ Hubert Garavel 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 283 KB

A study of cold ironing as a post-proces

A study of cold ironing as a post-process for net-shape manufacture

✍ Y.C Chang; Z.M Hu; B.S Kang; T.A Dean 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 387 KB

A new strategy of net decomposition in p

A new strategy of net decomposition in process simulation

✍ Li Zhou; Zhenwei Han; Kuotsung Yu 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 600 KB

Solid modeling of space stations in a co

Solid modeling of space stations in a concurrent processing environment

✍ A. Saleh; H. Adeli 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 517 KB

This article presents solid modeling of space station structures in a multiprocessing environment such as the Cray YMP 8/864. A space station is modeled as a collection of space trusses. Elements of trusses are created concurrently using constructive solid geometry. Concurrent solid modeling of larg

Application of rule nets to temporal rea

Application of rule nets to temporal reasoning in the monitoring of a chemical analysis process

✍ Miguel Peris; Rafael Ors; Alberto Bonastre; Pedro Gil 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 438 KB