Session-based concurrency in Maude: executable semantics and type checking (Q6156938): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(3 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jlamp.2023.100872 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100872 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4362658939 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modelling and Verifying Contract-Oriented Systems in Maude / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verifiable abstractions for contract-oriented systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4963910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global progress for dynamically interleaved multiparty sessions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5227061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic propositions as session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new linear logic for deadlock-free session-typed processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2851053 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subtyping Supports Safe Session Substitution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subtyping for session types in the pi calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characteristic bisimulation for higher-order session processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the relative expressiveness of higher-order session processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of mobile processes. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deadlock and lock freedom in the linear π-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple library implementation of binary sessions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4421726 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2703692 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2851059 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fundamentals of session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositions as sessions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Executable Semantics and Type Checking for Session-Based Concurrency in Maude / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JLAMP.2023.100872 / rank
 
Normal rank

Latest revision as of 18:59, 30 December 2024

scientific article; zbMATH DE number 7697495
Language Label Description Also known as
English
Session-based concurrency in Maude: executable semantics and type checking
scientific article; zbMATH DE number 7697495

    Statements

    Session-based concurrency in Maude: executable semantics and type checking (English)
    0 references
    19 June 2023
    0 references

    Identifiers