Most General Property-Preserving Updates (Q5739011): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2587948280 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deterministic generators and games for Ltl fragments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reo: a channel-based coordination model for component composition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modeling component connectors in Reo by constraint automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Verification for Components and Connectors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of Reactive(1) designs / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Behavioural Congruence for Web Services / rank
 
Normal rank
Property / cites work
 
Property / cites work: Most General Property-Preserving Updates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Games with a Weak Adversary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2974797 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type-based hot swapping of running modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Unknown Component Problem / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 21:31, 13 July 2024

scientific article; zbMATH DE number 6725150
Language Label Description Also known as
English
Most General Property-Preserving Updates
scientific article; zbMATH DE number 6725150

    Statements

    Identifiers