1817 search results - page 12 / 364 » Extensive Games as Process Models |
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
CONCUR
2001
Springer
14 years 2 days ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
BPM
2009
Springer
13 years 8 months ago
2009
Springer
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...