Actor theories in rewriting logic

DOI10.1016/S0304-3975(01)00365-6zbMath1001.68055MaRDI QIDQ1608923

Carolyn L. Talcott

Publication date: 13 August 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

compositionalityconcurrencyrewriting logicactor systemsopen distributed systemsinteraction semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42)

Related Items (3)

Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Maude: specification and programming in rewriting logic

Uses Software

• Maude

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Composable semantic models for actor theories
• Actor languages. Their syntax, semantics, translation, and equivalence
• A foundation for actor computation
• Rewriting logic as a semantic framework for concurrency: a progress report
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Actor theories in rewriting logic