2664 search results - page 6 / 533 » Theory by Process |
SOSL
1993
13 years 12 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
CAI
2009
Springer
14 years 2 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
ENTCS
2006
13 years 8 months ago
2006
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
AGI
2008
13 years 9 months ago
2008
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Differential repetitive processes are a distinct class of continuous-discrete twodimensional linear systems of both systems theoretic and applications interest. These pr...