Reversing Single Sessions (Q3186584): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2238097345 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1510.07253 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sub-behaviour relations for session-based client/server systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal and Optimal Computations of Recursive Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Asynchronous Session Types and Progress for Object Oriented Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Compositional Semantics for the Reversible p-Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2004 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiparty asynchronous session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Globally Governed Session Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Controlling Reversibility in Higher-Order Pi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing Higher-Order Pi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of mobile processes. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing algebraic process calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible session-based pi-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing Single Sessions / rank
 
Normal rank

Latest revision as of 09:06, 12 July 2024

scientific article
Language Label Description Also known as
English
Reversing Single Sessions
scientific article

    Statements

    Identifiers