Concurrent Kleene Algebra (Q3184688): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5532570 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semiring-based constraint satisfaction and optimization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4721639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2721093 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kleene algebra with domain / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From μCRL to mCRL2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic basis for computer programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3777424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations of Concurrent Kleene Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A completeness theorem for Kleene algebras and the algebra of regular events / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4362921 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axioms for memory access in asynchronous hardware systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996918 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resources, concurrency, and local reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modeling concurrency with partial orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2734510 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3030239 / rank | |||
Normal rank |
Latest revision as of 02:38, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concurrent Kleene Algebra |
scientific article |
Statements
Concurrent Kleene Algebra (English)
0 references
22 October 2009
0 references