Executable structural operational semantics in Maude
From MaRDI portal
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- scientific article; zbMATH DE number 1696903 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3860370 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4074517 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 49477 (Why is no real title available?)
- scientific article; zbMATH DE number 1231536 (Why is no real title available?)
- scientific article; zbMATH DE number 1231537 (Why is no real title available?)
- scientific article; zbMATH DE number 1231667 (Why is no real title available?)
- scientific article; zbMATH DE number 1231669 (Why is no real title available?)
- scientific article; zbMATH DE number 486427 (Why is no real title available?)
- scientific article; zbMATH DE number 1082078 (Why is no real title available?)
- scientific article; zbMATH DE number 1973990 (Why is no real title available?)
- scientific article; zbMATH DE number 2043522 (Why is no real title available?)
- scientific article; zbMATH DE number 2038715 (Why is no real title available?)
- scientific article; zbMATH DE number 1759745 (Why is no real title available?)
- scientific article; zbMATH DE number 1569126 (Why is no real title available?)
- scientific article; zbMATH DE number 1418328 (Why is no real title available?)
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems
- A causal semantics for CCS via rewriting logic
- Algebraic Methodology and Software Technology
- Algebraic laws for nondeterminism and concurrency
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Conditional rewriting logic as a unified model of concurrency
- Encoding natural semantics in Coq
- Generic tools for verifying concurrent systems
- Handbook of philosophical logic. Vol. 9
- IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
- Isabelle/HOL. A proof assistant for higher-order logic
- Maude: specification and programming in rewriting logic
- Plan in Maude specifying an active network programming language
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
- Rewriting logic: Roadmap and bibliography
- Specification and proof in membership equational logic
- Symbolic bisimulations
- Theories of Programming Languages
- Winskel is (almost) right: Towards a mechanized semantics textbook
- -calculus in (Co)inductive-type theory
Cited in
(23)- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- Hierarchical design rewriting with Maude
- Two case studies of semantics execution in Maude: CCS and LOTOS
- A rewriting logic approach to operational semantics
- Semantic foundations for generalized rewrite theories
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- scientific article; zbMATH DE number 1696903 (Why is no real title available?)
- scientific article; zbMATH DE number 1973990 (Why is no real title available?)
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Strategies and simulations in a semantic framework
- An operational semantics for object-oriented concepts based on the class hierarchy
- Simulation of operational semantics of machine instructions
- From rewriting logic, to programming language semantics, to program verification
- Structural operational semantics for a portable subset of behavioral VHDL-93
- scientific article; zbMATH DE number 1728525 (Why is no real title available?)
- A rewriting logic approach to operational semantics (extended abstract)
- Prototyping SOS meta-theory in Maude
- Language definitions as rewrite theories
- A Maude environment for CafeOBJ
- Modular structural operational semantics with strategies
- Using Maude and its strategies for defining a framework for analyzing Eden semantics
This page was built for publication: Executable structural operational semantics in Maude
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369036)
