24 search results - page 1 / 5 » Liveness and Fairness Properties in Multi-Agent Systems |
IJCAI
1993
14 years 11 months ago
1993
ICSOC
2007
Springer
15 years 3 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...
95
Voted
IAT
2003
IEEE
15 years 2 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
15 years 1 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
15 years 1 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...