Duplication of constants in process algebra (Q864505): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Theory of Communicating Sequential Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra for synchronous communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Absolute versus relative time in process algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Termination, deadlock, and divergence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3776606 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebra of communicating processes with empty process / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: A process algebra for timed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebra of timed processes, ATP: Theory and application / rank
 
Normal rank
Property / cites work
 
Property / cites work: A timed model for communicating sequential processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real time process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra with timing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4367581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding untimed into timed process algebra: the case for explicit termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Processes, Terms and Cycles: Steps on the Road to Infinity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4847024 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4490742 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, Languages and Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: A conservative look at operational semantics with variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760240 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variable binding operators in transition system specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete time process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra with propositional signals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5186720 / rank
 
Normal rank

Revision as of 12:53, 25 June 2024

scientific article
Language Label Description Also known as
English
Duplication of constants in process algebra
scientific article

    Statements

    Duplication of constants in process algebra (English)
    0 references
    0 references
    0 references
    9 February 2007
    0 references
    delayability
    0 references
    deadlock
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers