24 search results - page 1 / 5 » Liveness and Fairness Properties in Multi-Agent Systems |
IJCAI
1993
13 years 6 months ago
1993
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
IAT
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...