Top

Overview

Several Purposes

Restrictions Considered

Important Features

Work in Progress

Performance

Expressive Power

Usability

SCOLL

Technical Concepts

Predicates & Facts

Knowledge & Behavior

Rules

SCOLL Patterns

system

behavior

subject

config

goal

Syntax

Using Scollar

Operation Modes

Propagation

Least Restrictions

Secure Interoperation

User Interface

Calculation

Saved Patterns

Saved Systems

Definitions

Behavior

Collaboration

Collaborative Systems

Purely Collaborative Systems

Rights

Collaboration Rights

Authority

Patterns

Knowledge Behavior Systems

Safe Approximation

Safety Properties

"Liveness" Properties