898 search results - page 101 / 180 » Transitions of the Pre-Symmetry Set |
166
click to vote
CONCUR
2009
Springer
16 years 29 days ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
157
click to vote
AGILEDC
2007
IEEE
16 years 22 days ago
2007
IEEE
Fulfilling the potential of Agile development depends on people truly wanting to change how they work. Transitioning to new methods of development is particularly daunting in a la...
195
click to vote
BPM
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Business process models usually capture data exchanged between tasks in terms of objects. These objects are commonly standardized using reference data models that prescri...
167
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
173
click to vote
ECAL
2007
Springer
16 years 17 days ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...