Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4952392 | Theoretical Computer Science | 2016 | 20 Pages |
Abstract
The second contribution is a characterization of these systems as coalgebras of a class of functors, parametric in the weight structure. This result allows us to prove soundness and completeness of the WF-GSOS specification format, and that bisimilarities induced by these specifications are always congruences.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Marino Miculan, Marco Peressotti,