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

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus : Daimi
PublisherDepartment of Computer Science, Aarhus University
Number of pages38
Publication statusPublished - 1996
SeriesBRICS Report Series
NumberRS-96-23
ISSN0909-0878

Cite this