A general conservative extension theorem in process algebras with inequalities

Authors
  • P.R. D'Argenio
  • C. Verhoef
Publication date 1996
Series Technical Report, P9605
Publisher onbekend: onbekend (FdL)
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back