Executable Semantics and Type Checking for Session-Based Concurrency in Maude

DOI10.1007/978-3-031-12441-9_12zbMath1514.68182MaRDI QIDQ6487298

Jorge A. Pérez, Carlos Alberto Ramírez Restrepo

Publication date: 7 December 2022

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)

Related Items (1)

Session-based concurrency in Maude: executable semantics and type checking

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamentals of session types
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• A calculus of mobile processes. I
• On the relative expressiveness of higher-order session processes
• Propositions as sessions
• Deadlock and lock freedom in the linear π-calculus
• Linear logic propositions as session types

This page was built for publication: Executable Semantics and Type Checking for Session-Based Concurrency in Maude