Scollar

From Erights

(Difference between revisions)
Jump to: navigation, search
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.

Personal tools
more tools