The following pages link to (Q4938428):
Displaying 6 items.
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Executing formal specifications with concurrent constraint programming (Q1857312) (← links)
- (Q4870741) (← links)
- Property-Driven Partitioning for Abstraction Refinement (Q5758119) (← links)
- Abstract interpretation of CTL properties (Q6045023) (← links)