The following pages link to Actor theories in rewriting logic (Q1608923):
Displaying 10 items.
- Actors and their composition (Q706495) (← links)
- Composable semantic models for actor theories (Q1290314) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Logics for actor networks: a case study in constrained hybridization (Q1742623) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Actors and logical analysis of interactive systems (Q2863849) (← links)
- (Q3785917) (← links)
- Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)