Nets over many sorted operator domains and their semantics
In this paper is given a rigorous framework for the description of syntax, behaviour and semantics in the general case of many sorted operator domains, i.e. not only in the case describing the underlying syntax structure by trees.
A partially defined binary composition * for objects in ω-net such as in Beh is given and it is shown, that Sem preserves these compositions.
Unable to display preview. Download preview PDF.
- Goguen, J.A. — Thatcher, J.W. — Wagner, E.G. — Wright, J.B.: Initial algebra semantics and continuous algebras, JACM, Vol. 24 (1977)Google Scholar
- Dittrich, G. — Merzenich, W.: Syntax and semantics of switching networks over arbitrary algebras, 2. IFAC — Symposium on Discrete Sytems, Vol. 5, Dresden 1977Google Scholar
- Eilenberg, S.: Automata, languages and machines, Vol. A, Academic Press, 1974Google Scholar
- Merzenich, W.: A universal interpretation for ω-switching neworks. Submitted for publicationGoogle Scholar