Refining ideal behaviours

  • This paper provides some mathematical properties of behaviours of systems, where the individual elements of a behaviour are modeled by ideals of a suitable partial order. It is well-known that the associated ideal completion provides a simple way of constructing algebraic cpos. An ideal can be viewed as a set of consistent finite or compact approximations of an object which itself may even be infinite. We introduce a special way of characterising behaviours through sets of relevant approximations.

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Bernhard MöllerGND
Frontdoor URL
Series (Serial Number):Reports des Instituts für Mathematik der Universität Augsburg (345)
Publisher:Institut für Mathematik, Universität Augsburg
Place of publication:Augsburg
Year of first Publication:1995
Publishing Institution:Universität Augsburg
Release Date:2022/02/03
Institutes:Mathematisch-Naturwissenschaftlich-Technische Fakultät
Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik
Licence (German):Deutsches Urheberrecht