23201 search results - page 51 / 4641 » Rewriting Systems with Data |
110
click to vote
ENTCS
2007
15 years 22 days ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
103
click to vote
RTA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
FMOODS
2003
15 years 2 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
102
click to vote
IJCAI
2003
15 years 2 months ago
2003
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanat...
118
Voted
ENTCS
2008
15 years 26 days ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...