Sciweavers

67
Voted
ICECCS
2007
IEEE
125views Hardware» more  ICECCS 2007»
15 years 19 days 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