ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS.

Published in: Theory and Practice of Parallel Programming (1994)

Keyphrases