Executable structural operational semantics in Maude
From MaRDI portal
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- -calculus in (Co)inductive-type theory
- A causal semantics for CCS via rewriting logic
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems
- Algebraic laws for nondeterminism and concurrency
- Algebraic Methodology and Software Technology
- CINNI -- a generic calculus of explicit substitutions and its application to -, - and -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
- 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?)
- Isabelle/HOL. A proof assistant for higher-order logic
- IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
- 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
Cited in
(25)- A rewriting logic approach to operational semantics
- Twenty years of rewriting logic
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Semantic foundations for generalized rewrite theories
- scientific article; zbMATH DE number 1696903 (Why is no real title available?)
- scientific article; zbMATH DE number 1728525 (Why is no real title available?)
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- Prototyping SOS meta-theory in Maude
- Modular structural operational semantics with strategies
- Using Maude and its strategies for defining a framework for analyzing Eden semantics
- A rewriting logic approach to operational semantics (extended abstract)
- From rewriting logic, to programming language semantics, to program verification
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- scientific article; zbMATH DE number 1973990 (Why is no real title available?)
- Hierarchical design rewriting with Maude
- A Maude environment for CafeOBJ
- Strategies and simulations in a semantic framework
- Structural operational semantics for a portable subset of behavioral VHDL-93
- The way we were: structural operational semantics research in perspective
- Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms
- Language definitions as rewrite theories
- An operational semantics for object-oriented concepts based on the class hierarchy
- Simulation of operational semantics of machine instructions
- Two case studies of semantics execution in Maude: CCS and LOTOS
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)
