Concurrent Kleene algebra and its foundations (Q549679): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Fixed-point calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4525274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / 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: Q4316881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equational theory of pomsets / 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: Graphical models of separation logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concurrent Kleene Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations of Concurrent Kleene Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concurrent Kleene algebra and its foundations / 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: Q3953140 / 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: Q3996918 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771067 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resources, concurrency, and local reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Synchronous Kleene algebra / 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 06:45, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concurrent Kleene algebra and its foundations |
scientific article |
Statements
Concurrent Kleene algebra and its foundations (English)
0 references
18 July 2011
0 references
concurrency
0 references
dependence
0 references
Kleene algebra
0 references
Hoare calculus
0 references
rely/guarantee calculus
0 references