Scollar
From Erights
(Difference between revisions)
Line 1: | Line 1: | ||
- | [http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities. It is based on Fred's thesis: [http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration]. | + | [http://www.info.ucl.ac.be/~fsp/scollardoc.html Scoll and Scollar] analyze safety in patterns of collaborating entities. It is based on Fred's thesis: [http://www.evoluware.eu/fsp_thesis.pdf Patterns of Safe Collaboration]. |
+ | |||
+ | See also [http://www.info.ucl.ac.be/~pvr/rr2005-12.pdf Scoll and Scollar: Safe collaboration based on partial trust] and [http://www.info.ucl.ac.be/~fsp/SCOLL.pdf SCOLL: A language for safe capability based collaboration]. | ||
[[Category:Applications]] | [[Category:Applications]] | ||
[[Category:Formal Reasoning]] | [[Category:Formal Reasoning]] |
Revision as of 22:54, 14 November 2007
Scoll and Scollar analyze safety in patterns of collaborating entities. It is based on Fred's thesis: Patterns of Safe Collaboration.
See also Scoll and Scollar: Safe collaboration based on partial trust and SCOLL: A language for safe capability based collaboration.