87 search results - page 1 / 18 » 04061 Abstracts Collection - Real Computation and Complexity |
DAGSTUHL
2004
13 years 6 months ago
2004
DAGSTUHL
2007
13 years 6 months ago
2007
ESAW
2009
Springer
13 years 2 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...
ICMT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...