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