Abstract | ||
---|---|---|
We study operations and equational properties of multirelations, which have been used for modelling games, protocols, computations, contact, closure and topology. The operations and properties are expressed using sets, heterogeneous relation algebras and more general algebras for multirelations. We investigate the algebraic properties of a new composition operation based on the correspondence to predicate transformers, different ways to express reflexive–transitive closures of multirelations, numerous equational properties, how these properties are connected and their preservation by multirelational operations. We particularly aim to generalise results and properties from up-closed multirelations to arbitrary multirelations. This paper is an extended version of [7]. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1016/j.jlamp.2017.02.002 | Journal of Logical and Algebraic Methods in Programming |
Keywords | Field | DocType |
Algebras of multirelations,Aumann contact,Heterogeneous relations,Multirelational composition,Reflexive–transitive closure | Discrete mathematics,Algebraic number,Algebra,Predicate (grammar),Algebraic properties,Mathematics,Computation | Journal |
Volume | Issue | ISSN |
88 | 1 | 2352-2208 |
Citations | PageRank | References |
0 | 0.34 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rudolf Berghammer | 1 | 569 | 76.48 |
Walter Guttmann | 2 | 196 | 16.53 |