Sciweavers

7109 search results - page 62 / 1422
» Process Algebra with Combinators
Sort
View
87
Voted
ICIP
2005
IEEE
15 years 8 months ago
P2CA: a new face recognition scheme combining 2D and 3D information
Antonio Rama, Francesc Tarres
120
Voted
FCT
2003
Springer
15 years 7 months ago
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
154
Voted
PDS
1996
15 years 3 months ago
Towards a theory of shared data in distributed systems
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
Simon A. Dobson, Christopher P. Wadsworth