Undeciadability and completeness results for process algebras with alternative quantification over data

Authors
  • J.F. Groote
  • S.P. Luttik
Publication date 1998
Series SEN R9806, july
Publisher Amsterdam: WINS (oud WINS)
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back