Scollar

From Erights

Revision as of 00:40, 31 October 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.

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

Categories: Applications | Formal Reasoning

Views

Personal tools

Log in

Search

Toolbox