✦ LIBER ✦

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I

✍ Scribed by Moreno Falaschi; Alberto Policriti; Alicia Villanueva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling Concurrent Systems Specified b

✍ Krzysztof Pancerz; Zbigniew Suraj 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 786 KB

A model of concurrency control in distri

✍ P.G. Reddy; Subhash Bhalla; B.E. Prasad 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 648 KB

[Lecture Notes in Computer Science] FM 2

✍ Cuellar, Jorge; Maibaum, Tom; Sere, Kaisa 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 583 KB

Actors: A model of concurrent computatio

✍ Mario Wolczko 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 158 KB

GeneSys: a model of the influence of cro

✍ N. Colbach; C. Clermont-Dauphin; J.M. Meynard 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 328 KB