2171 search results - page 113 / 435 » A Generic Process Algebra |
101
click to vote
MOVEP
2000
15 years 6 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
108
Voted
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
130
Voted
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
125
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...
119
click to vote
ISPEC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we discuss the problem of collusion secure fingerprinting. In the first part of our contribution we prove the existence of equidistant codes that can be u...