3 search results - page 1 / 1 » Decidability Results for Well-Structured Transition Systems ... |
CONCUR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We prove several decidability and undecidability results for -PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of...
GI
2004
Springer
13 years 10 months ago
2004
Springer
: Since the advent of Gnutella, Peer-to-Peer (P2P) protocols have matured towards a fundamental design element for large-scale, self-organising distributed systems. Many research e...