Static and dynamic property-preserving updates

DOI10.1016/j.ic.2020.104611zbMath1497.68251OpenAlexW3048295649MaRDI QIDQ2042718

Ivan Lanese, Davide Bresolin

Publication date: 21 July 2021

Published in: Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

state transferupdateconstraint automataproperty preservation

Mathematics Subject Classification ID

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

Related Items (1)

Special issue: Selected papers of the 11th international conference on language and automata theory and applications, LATA 2017

Uses Software

• Reo
• AIOCJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of Reactive(1) designs
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• The behavioural semantics of Event-B refinement
• Finite automata and unary languages
• 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
• Mutatis mutandis
• Deterministic generators and games for Ltl fragments
• Verification, Model Checking, and Abstract Interpretation
• Most General Property-Preserving Updates
• Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

This page was built for publication: Static and dynamic property-preserving updates