Coordinating processes with secure spaces

J Vitek, C Bryce, M Oriol - Science of Computer Programming, 2003 - Elsevier
The Linda shared space model and its derivatives provide great flexibility for building
parallel and distributed applications composed of independent processes. However, the …

A lambda-calculus for dynamic binding

L Dami - Theoretical Computer Science, 1998 - Elsevier
Dynamic binding is a runtime lookup operation which extracts values corresponding to some
“names” from some “environments”(finite, unordered associations of names and values) …

A coordination model for agents based on secure spaces

C Bryce, M Oriola, J Vitck - … '99 Amsterdam, The Netherlands, April 26–28 …, 1999 - Springer
Shared space coordination models such as Linda are ill-suited for structuring applications
composed of erroneous or insecure components. This paper presents the Secure Object …

[PDF][PDF] Coordinating agents with secure spaces

J Vitek, C Bryce, M Oriol - Proceedings of Coordination, 1999 - academia.edu
Linda and its relatives in the familly of coordination languages provide a great deal of
exibility for developing parallel and distributed applications but lack security mechanisms …

[PDF][PDF] Secure Object Spaces

C an Bryce, M Oriol, J Vitek - academia.edu
Coordination languages based on shared data spaces are well suited to programming
parallel applications composed of cooperating software components. Secure Object Spaces …