Pages that link to "Item:Q2703692"
From MaRDI portal
The following pages link to CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692):
Displaying 12 items.
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692) (← links)
- Plan in Maude specifying an active network programming language (Q2851057) (← links)
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0 (Q2851059) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
