Strand spaces with choice via a process algebra semantics.

Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago

Browse the full PPDP paper archive.