130 search results - page 13 / 26 » Multi-Agent Systems as Composition of Observable Systems |
ENTCS
2007
13 years 6 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
SFM
2009
Springer
14 years 1 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
HICSS
2009
IEEE
14 years 1 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
CAV
2009
Springer
14 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
ATAL
2005
Springer
14 years 8 days ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...