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

DOI10.1016/J.JLAMP.2023.100872zbMATH Open1512.68173OpenAlexW4362658939MaRDI QIDQ6156938FDOQ6156938

Authors: Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez 

Publication date: 19 June 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100872

Recommendations

• Executable Semantics and Type Checking for Session-Based Concurrency in Maude
• Session-based concurrency, declaratively
• Session types revisited
• A Semantics for Propositions as Sessions
• CONCUR 2004 - Concurrency Theory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• 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
• Modelling and verifying contract-oriented systems in Maude
• Subtyping for session types in the pi calculus
• Global progress for dynamically interleaved multiparty sessions
• The Maude LTL model checker
• An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
• Propositions as sessions
• Verifiable abstractions for contract-oriented systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new linear logic for deadlock-free session-typed processes
• Characteristic bisimulation for higher-order session processes
• Linear logic propositions as session types
• Fundamentals of session types
• Deadlock and lock freedom in the linear \(\pi\)-calculus
• Handbook of model checking
• CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi
• Subtyping Supports Safe Session Substitution
• A simple library implementation of binary sessions
• On the relative expressiveness of higher-order session processes
• A graphical approach to progress for structured communication in web services
• Title not available (Why is that?)
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude

Cited In (2)

• Title not available (Why is that?)
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude

This page was built for publication: Session-based concurrency in Maude: executable semantics and type checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156938)