Property preserving abstractions under parallel composition

Autor:	Susanne Graf, Claire Loiseaux
Rok vydání:	1993
Předmět:	Property (philosophy) Theoretical computer science Relation (database) Composition operator Computer science Key (cryptography) Composition (combinatorics) Reactive system
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540566106 TAPSOFT
Popis:	We study property preserving transformations for reactive systems. A key idea is the use of ϱ-simulations which are simulations parametrized by a relation ϱ, relating the domains of two systems. We particularly address the problem of property preserving abstractions of composed programs. For a very general notion of parallel composition, we give the conditions under which simulation is a precongruence for parallel composition and we study which kind of global properties are preserved by these abstractions.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::23d4c2b0a8782ec3755b840ff8ec51e0 https://doi.org/10.1007/3-540-56610-4_95 Zobrazit plný text záznamu