The following pages link to Carlos G. López Pombo (Q817581):
Displaying 18 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- (Q1791190) (redirect page) (← links)
- Boosting the reuse of formal specifications (Q1791193) (← links)
- A Full Operational Semantics for Asynchronous Relational Networks (Q2787346) (← links)
- On Improving Backwards Verification of Timed Automata (Extended Abstract) (Q2842572) (← links)
- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics (Q2848884) (← links)
- A Compositional Automata-based Approach for Model Checking Multi-Agent Systems (Q2873614) (← links)
- A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting (Q2938171) (← links)
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules (Q3455758) (← links)
- Complete Calculi for Structured Specifications in Fork Algebra (Q3585054) (← links)
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting (Q3585055) (← links)
- Fork Algebras as a Sufficiently Rich Universal Institution (Q3623937) (← links)
- (Q5057637) (← links)
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (Q5758135) (← links)
- Automated QoS-aware service selection based on soft constraints (Q6562519) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
- A dynamic temporal logic for quality of service in choreographic models (Q6605346) (← links)
