2664 search results - page 1 / 533 » Theory by Process |
AUTOMATICA
2010
13 years 4 months ago
2010
CONCUR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
BIRTHDAY
2005
Springer
13 years 10 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...
DESRIST
2010
Springer
13 years 8 months ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
CUZA
2002
13 years 4 months ago
2002
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...