Weak Bisimulation as a Congruence in MSOS

DOI10.1007/978-3-319-23165-5_24zbMath1321.68363OpenAlexW2293498240WikidataQ57783373 ScholiaQ57783373MaRDI QIDQ2945724

Ferdinand Vesely, Peter D. Mosses

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_24

Mathematics Subject Classification ID

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) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Weak Bisimulation as a Congruence in MSOS ⋮ Executable component-based semantics

Uses Software

• CASL
• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The rewriting logic semantics project: a progress report
• On cool congruence formats for weak bisimulations
• Structural operational semantics for weak bisimulations
• SOS formats and meta-theory: 20 years after
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Structured operational semantics and bisimulation as a congruence
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Modular structural operational semantics
• A structural approach to operational semantics
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Twenty years of rewriting logic
• Weak Bisimulation as a Congruence in MSOS
• Pragmatics of Modular SOS
• Mapping Modular SOS to Rewriting Logic
• Introduction to Bisimulation and Coinduction
• Order-Sorted Parameterization and Induction
• Bisimulation can't be traced
• Modular Bisimulation Theory for Computations and Values
• Foundations of Software Science and Computational Structures

This page was built for publication: Weak Bisimulation as a Congruence in MSOS