A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.

Gwen Salaün Michel Allemand Christian Attiogbé A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. 385-392 2002 conf/compsac/2002 COMPSAC http://computer.org/proceedings/compsac/1727/17270385abs.htm db/conf/compsac/compsac2002.html#SalaunAA02