Skip to content

A Tracking Semantics for CSP.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

VenueBMPC
Year2010
ProceedingsMPC

Browse the full MPC paper archive.