Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: A foundation for actor computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4470506 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4138149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The chemical abstract machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: A semantics preserving actor translation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewriting logic as a semantic framework for concurrency: a progress report / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222865 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Composable semantic models for actor theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Objects in the \(\pi\)-calculus / rank
 
Normal rank

Latest revision as of 13:15, 30 May 2024

scientific article
Language Label Description Also known as
English
Actor languages. Their syntax, semantics, translation, and equivalence
scientific article

    Statements

    Actor languages. Their syntax, semantics, translation, and equivalence (English)
    0 references
    0 references
    0 references
    23 August 2000
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    concurrent object languages
    0 references