Discrete Time Process Algebra with Abstraction.

Jos C. M. Baeten, Jan A. Bergstra

Browse the full FCT paper archive.