20 citations · 20 across the 1 of their papers we have counts for
1 paper · 1 filter
Musab AlTurki, José Meseguer
Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, includin…