Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation.

Arshad Beg, Andrew Butterfield

Browse the full FIT paper archive.