On syntactic action refinement and logic

Majster-Cederbaum, Mila ; Salger, Frank

1999_07.pdf - Published

Download (1MB)

URL: https://ub-madoc.bib.uni-mannheim.de/2058
URN: urn:nbn:de:bsz:180-madoc-20584
Document Type: Working paper
Year of publication: 1999
The title of a journal, publication series: Technical Reports
Volume: 99-007
Place of publication: Mannheim
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Prozessalgebra
Abstract: Action refinement is a useful methodology for the development of concurrent processes in a stepwise manner. We are here interested in establishing a connection between syntactic action refinement and logic. In the syntactic approach to action refinement, reduction functions are used to remove the refinement operators from process-algebraic expressions thereby providing semantics for them. We incorporate a syntactic action refinement operator to the Hennessy-Milner-Logic and define a logical reduction function for this extended logic. This provides a possibility to refine a process expression and a formula simultaneously on the syntactic level, while preserving their satisfaction relation. It turns out that the assertion P ≠ φ ⇔ P[a ⇔ Q] ≠ φ[a ⇔ Q] where .(a ⇔ Q] denotes the refinement operator both, on process terms and formulas holds in the considered framework under weak and reasonable restrictions.
Additional information:

Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.

Metadata export


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item