CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Monotone predicate transformers as Up-closed multirelations
Authors
Brink C.
Rewitzky I.
Publication date
1 January 2006
Publisher
Doi
Cite
Abstract
In the study of semantic models for computations two independent views predominate: relational models and predicate transformer semantics. Recently the traditional relational view of computations as binary relations between states has been generalised to multirelations between states and properties allowing the simultaneous treatment of angelic and demonic nondeterminism. In this paper the two-level nature of multirelations is exploited to provide a factorisation of up-closed multirelations which clarifies exactly how multirelations model nondeterminism. Moreover, monotone predicate transformers are, in the precise sense of duality, up-closed multirelations. As such they are shown to provide a notion of effectivity of a specification for achieving a given postcondition. © Springer-Verlag Berlin Heidelberg 2006.Conference Pape
Similar works
Full text
Available Versions
Stellenbosch University SUNScholar Repository
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:scholar.sun.ac.za:10019.1/...
Last time updated on 27/05/2016