7 search results - page 2 / 2 » Decidability Results for Restricted Models of Petri Nets wit... |
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
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...