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. | + | [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]. |
[[Category:Applications]] | [[Category:Applications]] | ||
[[Category:Formal Reasoning]] | [[Category:Formal Reasoning]] |
Revision as of 00:40, 31 October 2007
Scoll and Scollar analyze safety in patterns of collaborating entities. It is based on Fred's thesis: Patterns of Safe Collaboration.