2 search results - page 1 / 1 » Multiset Rewriting: A Semantic Framework for Concurrency wit... |
WRLA
2010
13 years 3 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...