An Expressive Logic for Basic Process Algebra.

Alessandro Fantechi, Stefania Gnesi, V. Perticaroli

Browse the full MFCS paper archive.