Dynamic Reconfiguration via Typed Modalities

DOI10.1007/978-3-030-90870-6_32zbMath1521.68037MaRDI QIDQ6488473

Claudia Elena Chiriţă, José Luiz Fiadeiro, Ionuţ Ţuţu

Publication date: 21 April 2023

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Specification of systems with parameterised events: An institution-independent approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• May I borrow your logic? (Transporting logical structures along maps)
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• First-order modal logic
• Introducing \(H\), an institution-based formal specification and verification language
• Faster, higher, stronger: E 2.3
• Extending Sledgehammer with SMT solvers
• Logics for actor networks: a two-stage constrained-hybridisation approach
• The Space and Motion of Communicating Agents
• Institutions: abstract model theory for specification and programming
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• First-order hybrid logic: introduction and survey
• Stochastic Bigraphs
• Encoding hybridized institutions into first-order logic
• A hybrid dynamic logic for event/data-based systems

This page was built for publication: Dynamic Reconfiguration via Typed Modalities