Action Refinement in Process Algebra and Security Issues.

Annalisa Bossi, Carla Piazza, Sabina Rossi

Browse the full LOPSTR paper archive.