Sciweavers

ENTCS
2006
116views more  ENTCS 2006»
13 years 11 months ago
Stepwise Refinement of Processes
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
Steve Reeves, David Streader