7288 search results - page 20 / 1458 » On process rate semantics |
AMAST
2006
Springer
14 years 8 days ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
IANDC
2010
13 years 7 months ago
2010
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
SIMULATION
2008
13 years 8 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...