The following pages link to Michael J. Butler (Q1924629):
Displaying 6 items.
- Stepwise refinement of communicating systems (Q1924630) (← links)
- A generic model for assessing process quality (Q2763214) (← links)
- (Q2763998) (← links)
- PVS Embedding of cCSP Semantic Models and Their Relationship (Q5178979) (← links)
- Program derivation using the refinement calculator (Q6567706) (← links)
- Formal language semantics for triggered enable statecharts with a run-to-completion scheduling (Q6605353) (← links)