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

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
UdgivelsesstedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider38
StatusUdgivet - 1996
NavnBRICS Report Series
NummerRS-96-23
ISSN0909-0878

Citationsformater