The following pages link to Mark d'Inverno (Q407509):
Displaying 15 items.
- Specifying termination in CSP (Q407510) (← links)
- A CSP model with flexible parallel termination semantics (Q1037248) (← links)
- Unifying agent systems (Q1861901) (← links)
- A Conceptual Framework for Agent Definition and Development (Q2747743) (← links)
- (Q2757864) (← links)
- Engineering AgentSpeak(L): a formal computational model (Q4209286) (← links)
- (Q4424372) (← links)
- (Q4441041) (← links)
- (Q4446613) (← links)
- (Q4473077) (← links)
- (Q4473092) (← links)
- (Q4536757) (← links)
- (Q4813422) (← links)
- (Q4813549) (← links)
- Transactions on Computational Systems Biology III (Q5898009) (← links)
