scientific article; zbMATH DE number 1231550

MaRDI QIDQ4222865zbMATH OpenFDO

Authors Carolyn Talcott

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#talcott

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Actor theories in rewriting logic
• A foundation for actor computation
• Composable semantic models for actor theories
• Rewriting logic as a semantic framework for concurrency: a progress report

Cited in

(13)

• Actor languages. Their syntax, semantics, translation, and equivalence
• Actor theories in rewriting logic
• Logics for actor networks: a case study in constrained hybridization
• An object based algebra for specifying a fault tolerant software architecture
• Logics for actor networks: a two-stage constrained-hybridisation approach
• An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
• scientific article; zbMATH DE number 1231623 (Why is no real title available?)
• scientific article; zbMATH DE number 1304364 (Why is no real title available?)
• scientific article; zbMATH DE number 1090097 (Why is no real title available?)
• A semantics preserving actor translation
• scientific article; zbMATH DE number 1860623 (Why is no real title available?)
• Towards modelling actor-based concurrency in term rewriting
• Equivalence of computations in actor grammars

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222865)