Pages that link to "Item:Q1290314"
From MaRDI portal
The following pages link to Composable semantic models for actor theories (Q1290314):
Displaying 11 items.
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Actors and their composition (Q706495) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Actors and logical analysis of interactive systems (Q2863849) (← links)
- A formal framework for interactive agents (Q2864512) (← links)
- Comparing three coordination models: Reo, ARC, and RRD (Q2866318) (← links)
- Actors: A model for reasoning about open distributed systems (Q2906942) (← links)
- (Q5376659) (← links)