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