The following pages link to Luca Aceto (Q266855):
Displaying 30 items.
- (Q2863902) (← links)
- An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics (Q2870111) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
- Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations (Q2894568) (← links)
- SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators (Q2927637) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- Equational Axioms for Probabilistic Bisimilarity (Q2996139) (← links)
- (Q3030238) (← links)
- PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates (Q3090881) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- Algebraic Synchronization Trees and Processes (Q3166997) (← links)
- (Q3204033) (← links)
- (Q3395976) (← links)
- (Q3396605) (← links)
- (Q3396642) (← links)
- Compositional Reasoning for Multi-modal Logics (Q3455830) (← links)
- (Q5009452) (← links)
- CONCUR Test-of-time award 2020 announcement (Q5089268) (← links)
- (Q5089283) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- Monitoring for Silent Actions (Q5136296) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
- Trace Simulation Semantics is not Finitely Based over BCCSP (Q5350148) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Termination, deadlock and divergence (Q5887521) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
