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

Gwen Salan, Michel Allemand, J. Christian Attiogb

Browse the full COMPSAC paper archive.