127 search results - page 10 / 26 » Behaviour Algebras |
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
MKM
2009
Springer
14 years 1 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
CIE
2005
Springer
14 years 28 days ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
ICCSA
2005
Springer
14 years 27 days ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
CRYPTO
2008
Springer
13 years 9 months ago
2008
Springer
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...