Axiomatising divergence (Q2581532): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Termination, deadlock, and divergence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Theory of Communicating Sequential Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760238 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branching time and abstraction in bisimulation semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4737191 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete inference system for a class of regular behaviours / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete axiomatisation for observational congruence of finite-state behaviours / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation and divergence / rank
 
Normal rank

Latest revision as of 13:55, 11 June 2024

scientific article
Language Label Description Also known as
English
Axiomatising divergence
scientific article

    Statements

    Identifiers