Pages that link to "Item:Q5262950"
From MaRDI portal
The following pages link to The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950):
Displaying 6 items.
- Shuffles and concatenations in the construction of graphs (Q4649460) (← links)
- (Q5028469) (← links)
- (Q5146123) (← links)
- (Q5146755) (← links)
- A sound and complete abstraction for reasoning about parallel prefix sums (Q5408435) (← links)
- Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction (Q6163879) (← links)