Learn More
This paper addresses the problem of developing distributed simulation techniques to analyze ECATNets. ECATNets (Extended Concurrent Algebraic Term Nets) are a kind of High-Level Algebraic Nets used for specifying various aspects of distributed and parallel systems. Their most distinctive feature is that their semantics is defined in terms of rewriting(More)
  • 1