MIAOw: a Method to Integrate a Process Algebra with Formal Data

Gwen Salaün, Christian Attiogbé. MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica (Slovenia), 28(2):207-219, 2004. [doi]

Abstract

Abstract is missing.