Scollar

From Erights

Revision as of 22:54, 14 November 2007 by Markm (Talk | contribs)

(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)

Jump to: navigation, search

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.

Retrieved from "http://wiki.erights.org/wiki/Scollar"

Categories: Applications | Formal Reasoning

Views

Personal tools

Search

Toolbox