Most General Property-Preserving Updates

DOI10.1007/978-3-319-53733-7_27MaRDI QIDQ5739011zbMATH OpenOpenAlexFDO

Authors Davide Bresolin, Ivan Lanese

Publication date 1 June 2017

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01635801/file/main.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Static and dynamic property-preserving updates
• Formal Methods for Components and Objects
• Algebra and Coalgebra in Computer Science
• Defaults in update semantics
• Aspects preserving properties
• A linear logic approach to consistency preserving updates
• Property preserving operators
• Regular updating
• Preserving coarse properties

Cites work

• A Behavioural Congruence for Web Services
• Deterministic generators and games for LTL fragments
• Formal Verification for Components and Connectors
• Games with a Weak Adversary
• scientific article; zbMATH DE number 6703933 (Why is no real title available?)
• Modeling component connectors in Reo by constraint automata
• Most General Property-Preserving Updates
• Reo: a channel-based coordination model for component composition
• Synthesis of Reactive(1) designs
• The Unknown Component Problem
• Type-based hot swapping of running modules
• Verification, Model Checking, and Abstract Interpretation

Cited in

(2)

• Static and dynamic property-preserving updates
• Most General Property-Preserving Updates

Describes a project that uses

Uses Software

• Reo

This page was built for publication: Most General Property-Preserving Updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5739011)