DMCA
A Calculus of Transition Systems (towards Universal Coalgebra) (1995)
| Venue: | IN ALBAN PONSE, MAARTEN DE RIJKE, AND YDE VENEMA, EDITORS, MODAL LOGIC AND PROCESS ALGEBRA, CSLI LECTURE NOTES NO |
| Citations: | 30 - 1 self |
BibTeX
@INPROCEEDINGS{Rutten95acalculus,
author = {J. J. M. M. Rutten},
title = {A Calculus of Transition Systems (towards Universal Coalgebra)},
booktitle = {IN ALBAN PONSE, MAARTEN DE RIJKE, AND YDE VENEMA, EDITORS, MODAL LOGIC AND PROCESS ALGEBRA, CSLI LECTURE NOTES NO},
year = {1995},
pages = {231--256},
publisher = {CSLI Publications}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic notions of universal algebra: \Sigma-algebra, homomorphism, and substitutive relation (or congruence). In this paper, some standard results from universal algebra (such as the three isomorphism theorems and facts on the lattices of subalgebras and congruences) are reformulated (using the afore mentioned correspondence) and proved for transition systems.
