Most General Property-Preserving Updates

DOI10.1007/978-3-319-53733-7_27zbMath1485.68135OpenAlexW2587948280MaRDI QIDQ5739011

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)

Related Items (2)

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

Uses Software

• Reo

Cites Work

• Unnamed Item
• Synthesis of Reactive(1) designs
• Type-based hot swapping of running modules
• Modeling component connectors in Reo by constraint automata
• The Unknown Component Problem
• A Behavioural Congruence for Web Services
• Formal Verification for Components and Connectors
• Reo: a channel-based coordination model for component composition
• Games with a Weak Adversary
• Deterministic generators and games for Ltl fragments
• Verification, Model Checking, and Abstract Interpretation
• Most General Property-Preserving Updates

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