Find link

language:

Find link is a tool written by Edward Betts.

searching for Process calculus 6 found (52 total)

Jos Baeten (288 words) [view diff] exact match in snippet view article find links to article

a Dutch computer scientist and mathematician, who has published on process calculus, concurrency theory, formal methods, model-based software engineering

Bunched logic (2,777 words) [view diff] exact match in snippet view article find links to article

logic has been used in connection with the (synchronous) resource-process calculus SCRP in order to give a (modal) logic that characterizes, in the sense

Atomic commit (1,732 words) [view diff] case mismatch in snippet view article find links to article

Commit (data management) Atomic operation Bocchi, Wischik (2004). A Process Calculus of Atomic Commit. Garcia-Molina, Hector; Ullman, Jeff; Widom, Jennifer

List of model checking tools (1,176 words) [view diff] exact match in snippet view article find links to article

FUSC: Free Under Specific Condition (e.g., free for academics) CCSP: A process calculus obtained from CCS by incorporating some operators of CSP. It is defined

Actor model (7,121 words) [view diff] exact match in snippet view article find links to article

thing: terms and variables. Can we achieve the same economy for a process calculus? Carl Hewitt, with his actors model, responded to this challenge long

X-machine (2,547 words) [view diff] exact match in snippet view article find links to article

discussed using a combination of Communicating Stream X-Machines and the process calculus WSCSS in the design and testing of swarm satellite systems. The earliest