✦ LIBER ✦

Message passing and graph transformations: A model of actor computation

✍ Scribed by D. Janssens

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and application of Parsim-a messa

✍ Symons, A.; Narasimhan, V.L. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 813 KB

A method of program transformation betwe

✍ Teruo Hikita; Kiyoshi Ishihata 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 651 KB

Modeling and evaluation of a new message

✍ Helnye Azaria; Yuval Elovici 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 925 KB

Local and nonlocal Lie-Bäcklund transfor

✍ P.H.M. Kersten 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 56 KB

[Lecture Notes in Computer Science] Theo

✍ Cabot, Jordi; Visser, Eelco 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 380 KB

Formation of the Actor's/Speaker's Forma

✍ Timo Leino; Anne-Maria Laukkanen; Vojtěch Radolf 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 886 KB