Standard

Abstract Congruence Criteria for Weak Bisimilarity. / Tsampas, Stelios; Williams, Christian; Devriese, Dominique; Piessens, Frank.

arXiv, 2020. 22 p.

Research output: Book/ReportOther report

Harvard

Tsampas, S, Williams, C, Devriese, D & Piessens, F 2020, Abstract Congruence Criteria for Weak Bisimilarity. arXiv.

APA

Tsampas, S., Williams, C., Devriese, D., & Piessens, F. (2020). Abstract Congruence Criteria for Weak Bisimilarity. arXiv.

Vancouver

Tsampas S, Williams C, Devriese D, Piessens F. Abstract Congruence Criteria for Weak Bisimilarity. arXiv, 2020. 22 p.

Author

Tsampas, Stelios ; Williams, Christian ; Devriese, Dominique ; Piessens, Frank. / Abstract Congruence Criteria for Weak Bisimilarity. arXiv, 2020. 22 p.

BibTeX

@book{ee3b13fbe286486883111e7dbdedb1ba,
title = "Abstract Congruence Criteria for Weak Bisimilarity",
abstract = "We introduce three general compositionality criteria over operational semantics that guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical operational semantics and the coalgebraic approach to weak bisimulation by Brengos. We demonstrate each criterion with various examples of success and failure and give a formal proof of correctness for our main result.",
keywords = "cs.LO, math.CT",
author = "Stelios Tsampas and Christian Williams and Dominique Devriese and Frank Piessens",
year = "2020",
month = "10",
day = "15",
language = "English",
publisher = "arXiv",

}

RIS

TY - BOOK

T1 - Abstract Congruence Criteria for Weak Bisimilarity

AU - Tsampas, Stelios

AU - Williams, Christian

AU - Devriese, Dominique

AU - Piessens, Frank

PY - 2020/10/15

Y1 - 2020/10/15

N2 - We introduce three general compositionality criteria over operational semantics that guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical operational semantics and the coalgebraic approach to weak bisimulation by Brengos. We demonstrate each criterion with various examples of success and failure and give a formal proof of correctness for our main result.

AB - We introduce three general compositionality criteria over operational semantics that guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical operational semantics and the coalgebraic approach to weak bisimulation by Brengos. We demonstrate each criterion with various examples of success and failure and give a formal proof of correctness for our main result.

KW - cs.LO

KW - math.CT

M3 - Other report

BT - Abstract Congruence Criteria for Weak Bisimilarity

PB - arXiv

ER -

ID: 54102776