Ambient abstract state machines with applications (Q439957): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3569584 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The ASM refinement method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract State Machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mobile ambients / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of mobile agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2753715 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Program Verification and System Dependability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4520493 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal specification and verification of the C\(\#\) thread model / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2742791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4520502 / rank
 
Normal rank

Latest revision as of 13:21, 5 July 2024

scientific article
Language Label Description Also known as
English
Ambient abstract state machines with applications
scientific article

    Statements

    Ambient abstract state machines with applications (English)
    0 references
    0 references
    0 references
    0 references
    17 August 2012
    0 references
    ambient concept
    0 references
    abstract state machines
    0 references
    naming disciplines
    0 references
    memory sharing disciplines
    0 references
    object-oriented design patterns
    0 references
    mobile agents
    0 references

    Identifiers