1
Published 2005
Table of Contents: ... Bisimulation for Non-markovian Processes -- Object-Orientation and Component Systems -- On Refinement...
View full text
Electronic eBook