scientific article

zbMath1272.68044MaRDI QIDQ2851057

Mark-Oliver Stehr, Carolyn L. Talcott

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825381

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items

Executable structural operational semantics in Maude, The rewriting logic semantics project, The rewriting logic semantics project: a progress report, Unnamed Item, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• Maude
• PLAN

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• The revised report on the syntactic theories of sequential control and state
• Actor languages. Their syntax, semantics, translation, and equivalence
• From syntactic theories to interpreters: Automating the proof of unique decomposition
• Maude: specification and programming in rewriting logic
• Specification diagrams for actor systems
• A variable typed logic of effects
• A foundation for actor computation
• PLAN
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item