BibTeX
@MISC{Klin05frombialgebraic,
author = {Bartek Klin},
title = { From Bialgebraic Semantics to Congruence Formats},
year = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A general and abstract framework to defining congruence formats for various process equivalences coalgebraic approach to process equivalence, based on a notion of test suite. The resulting technique is illustrated on the example of completed trace equivalence. Rather than providing formal proofs, the paper is guiding the reader through the process of deriving a congruence format in the test suite approach.
