Tag: scopes

Process Simple casting system processes; proc procname "command" "work path" ["arg1","arg2"] Socket Simple casting system sockets; sock socketname "type" "port" "ip" Literals The literal definition is used to describe the system invariants. The literal definition is used to describe the system invariants. These definitions maintain their validity throughout the system. Similar to definitions. There is […]