Views on Behaviour Protocols and Their Semantic Foundation (Q2888499): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: An Algebraic Semantics for Contract-Based Software Components / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reconciling statechart semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2847430 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4371400 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notions of bisimulation and congruence formats for SOS with data / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toward formal development of programs from algebraic specifications: Implementations revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4736414 / rank
 
Normal rank

Latest revision as of 06:37, 5 July 2024

scientific article
Language Label Description Also known as
English
Views on Behaviour Protocols and Their Semantic Foundation
scientific article

    Statements

    Identifiers