## Normal Forms for Partitions and Relations (1999)

### Cached

### Download Links

- [www.di.unipi.it]
- [www.di.unipi.it]
- [www.di.unipi.it]
- DBLP

### Other Repositories/Bibliography

Venue: | Recent Trends in Algebraic Development Techniques, volume 1589 of Lect. Notes in Comp. Science |

Citations: | 14 - 11 self |

### BibTeX

@INPROCEEDINGS{Bruni99normalforms,

author = {Roberto Bruni and Fabio Gadducci and Ugo Montanari},

title = {Normal Forms for Partitions and Relations},

booktitle = {Recent Trends in Algebraic Development Techniques, volume 1589 of Lect. Notes in Comp. Science},

year = {1999},

pages = {31--47},

publisher = {Springer Verlag}

}

### OpenURL

### Abstract

Recently there has been a growing interest towards algebraic structures that are able to express formalisms different from the standard, tree-like presentation of terms. Many of these approaches reveal a specific interest towards their application in the "distributed and concurrent systems" field, but an exhaustive comparison between them is difficult because their presentations can be quite dissimilar. This work is a first step towards a unified view, which is able to recast all those formalisms into a more general one, where they can be easily compared. We introduce a general schema for describing a characteristic normal form for many algebraic formalisms, and show that those normal forms can be thought of as arrows of suitable concrete monoidal categories.