Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.

Gwen Salan, Michel Allemand, J. Christian Attiogb

Browse the full APSEC paper archive.