Pages that link to "Item:Q679336"
From MaRDI portal
The following pages link to Temporal semantics for concurrent METATEM (Q679336):
Displaying 5 items.
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Agent-oriented modeling of the dynamics of biological organisms (Q2383958) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Formal semantics of meta-level architectures: Temporal epistemic reflection (Q3156879) (← links)
- Temporal agent programs (Q5940961) (← links)