Nr. 23 (1996): RS-23 A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces

Artikler

• A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces

  Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir

  • PDF (English)