Pages that link to "Item:Q5415608"
From MaRDI portal
The following pages link to Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration (Q5415608):
Displaying 4 items.
- The equational theory of prebisimilarity over basic CCS with divergence (Q975471) (← links)
- A complete equational axiomatization for prefix iteration (Q1342264) (← links)
- (Q4235435) (← links)
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963) (← links)