Plan in Maude specifying an active network programming language
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1982209 (Why is no real title available?)
- scientific article; zbMATH DE number 1497775 (Why is no real title available?)
- scientific article; zbMATH DE number 1870424 (Why is no real title available?)
- A foundation for actor computation
- A variable typed logic of effects
- Actor languages. Their syntax, semantics, translation, and equivalence
- CINNI -- a generic calculus of explicit substitutions and its application to -, - and -calculi
- Conditional rewriting logic as a unified model of concurrency
- From syntactic theories to interpreters: Automating the proof of unique decomposition
- Maude: specification and programming in rewriting logic
- PLAN: a packet language for active networks
- Reasoning about functions with effects
- Specification diagrams for actor systems
- The revised report on the syntactic theories of sequential control and state
Cited in
(8)- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project
- A rewriting logic approach to operational semantics
- The Maude LTL model checker
- scientific article; zbMATH DE number 2043944 (Why is no real title available?)
- Executable structural operational semantics in Maude
- PLAN: a packet language for active networks
This page was built for publication: Plan in Maude specifying an active network programming language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851057)
