journal : The Journal of Logic and Algebraic Programming
2 articles
A Process Algebraic View of Shared Dataspace Coordination (The Journal of Logic and Algebraic Programming, 2008) — Nadia Busi, Gianluigi Zavattaro A core calculus for correlation in orchestration languages (The Journal of Logic and Algebraic Programming, 2007) — Mirko Viroli