The following pages link to Eerke A. Boiten (Q1193745):
Displayed 32 items.
- (Q608348) (redirect page) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- A formal framework for viewpoint consistency (Q698095) (← links)
- Relational concurrent refinement (Q706513) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Improving recursive functions by inverting the order of evaluation (Q1193746) (← links)
- Specifying and refining internal operations in \(Z\) (Q1272761) (← links)
- Strategies for consistency checking based on unification (Q1283883) (← links)
- Combining component specifications in Object-Z and CSP. (Q1601244) (← links)
- Constructive consistency checking for partial specification in Z (Q1961429) (← links)
- Diversity and adjudication (Q2374303) (← links)
- (Q2721099) (← links)
- (Q2724177) (← links)
- (Q2844822) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- The Logic of Large Enough (Q3575264) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- (Q4250653) (← links)
- (Q4413670) (← links)
- (Q4472184) (← links)
- (Q4472185) (← links)
- (Q4494251) (← links)
- Refinement (Q4558901) (← links)
- (Q4762658) (← links)
- (Q4790345) (← links)
- Algebraic Methodology and Software Technology (Q5313012) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703814) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Editorial (Q5970749) (← links)