Sciweavers

ICECCS
2007
IEEE
125views Hardware» more  ICECCS 2007»
13 years 8 months ago
Achieving Discrete Relative Timing with Untimed Process Algebra
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
Anton Wijs