The following pages link to (Q4201911):
Displayed 8 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Equivalence of formal semantics definition methods (Q1355752) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Intensional computation with higher-order functions (Q1733061) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)