Sciweavers

Share
ENTCS
2006
124views more  ENTCS 2006»
8 years 11 months ago
Generic Trace Theory
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
books