The following pages link to (Q4223016):
Displaying 5 items.
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Comparative analysis of the expressiveness of shared dataspace coordination (Q2841273) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
