17 search results - page 4 / 4 » Parallel Independence in Hierarchical Graph Transformation |
139
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
161
Voted
ICDCS
2009
IEEE
16 years 14 days ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...