Pages that link to "Item:Q175862"
From MaRDI portal
The following pages link to The Journal of Logic and Algebraic Programming (Q175862):
Displaying 13 items.
- On the analysis of compensation correctness (Q444367) (← links)
- Static analysis of IMC (Q444504) (← links)
- Passage retrieval in legal texts (Q541290) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- An ``abstract process'' approach to algebraic dynamic architecture description (Q1779318) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Verifying security protocols with PVS: widening the rank function approach (Q2484411) (← links)
- Inheritance of behavior (Q5943265) (← links)
