KBSE
2000
IEEE
14 years 6 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
KBSE
2000
IEEE
14 years 6 months ago
2000
IEEE
KBSE
2000
IEEE
14 years 6 months ago
2000
IEEE
KBSE
2000
IEEE
14 years 6 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...