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

Aceto, L., Fokkink, W. J., & Ingolfsdottir, A. (1996). A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, No. RS-96-23
Aceto, Luca ; Fokkink, W. J. ; Ingolfsdottir, Anna. / A Menagerie of Non-Finitely Based Process Semantics over BPA : From Ready Simulation to Completed Traces. Århus : Daimi : Department of Computer Science, Aarhus University, 1996. 38 p. (BRICS Report Series; No. RS-96-23).
@book{0658dcb0003311dab4d5000ea68e967b,
title = "A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces",
author = "Luca Aceto and Fokkink, {W. J.} and Anna Ingolfsdottir",
year = "1996",
language = "English",
series = "BRICS Report Series",
number = "RS-96-23",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L, Fokkink, WJ & Ingolfsdottir, A 1996, A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces. BRICS Report Series, no. RS-96-23, Department of Computer Science, Aarhus University, Århus : Daimi.

A Menagerie of Non-Finitely Based Process Semantics over BPA : From Ready Simulation to Completed Traces. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna.

Århus : Daimi : Department of Computer Science, Aarhus University, 1996. 38 p. (BRICS Report Series; No. RS-96-23).

Research output: Book/ReportBookResearch

TY - BOOK

T1 - A Menagerie of Non-Finitely Based Process Semantics over BPA

T2 - From Ready Simulation to Completed Traces

AU - Aceto, Luca

AU - Fokkink, W. J.

AU - Ingolfsdottir, Anna

PY - 1996

Y1 - 1996

M3 - Book

T3 - BRICS Report Series

BT - A Menagerie of Non-Finitely Based Process Semantics over BPA

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Fokkink WJ, Ingolfsdottir A. A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces. Århus : Daimi: Department of Computer Science, Aarhus University, 1996. 38 p. (BRICS Report Series; No. RS-96-23).