Pages that link to "Item:Q4571987"
From MaRDI portal
The following pages link to Axiomatizations for the perpetual loop in process algebra (Q4571987):
Displaying 9 items.
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- Program algebra for sequential code (Q1858432) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- (Q5018493) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
- Milner's proof system for regular expressions modulo bisimilarity is complete. Crystallization: near-collapsing process graph interpretations of regular expressions (Q6649466) (← links)