Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

Musab AlTurki José Meseguer

Published in: RTRTS (2010)

Keyphrases

black box
formal analysis
distributed systems
distributed environment
agent model
databases
case study
open source
local area network
multi agent
cooperative
lightweight
formal methods