Process rewrite systems. (Q1854328): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Bisimulation collapse and the process taxonomy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4355677 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability analysis of pushdown automata: Application to model-checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constrained properties, semilinear systems, and Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra of communicating processes with abstraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the regular structure of prefix rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of model checking for infinite-state concurrent systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5592246 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of a temporal logic problem for Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Algorithm for the General Petri Net Reachability Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4364400 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model checking PA-processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222920 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4234763 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite results / rank
 
Normal rank

Latest revision as of 11:08, 5 June 2024

scientific article
Language Label Description Also known as
English
Process rewrite systems.
scientific article

    Statements

    Process rewrite systems. (English)
    0 references
    0 references
    14 January 2003
    0 references
    0 references
    PA-processes
    0 references
    pushdown processes
    0 references
    Petri nets
    0 references
    0 references