4353 search results - page 116 / 871 » Expressiveness of Process Algebras |
162
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—With the rise of XML as a standard for representing business data, XML data warehousing appears as a suitable solution for decision-support applications. In this context, it is ...
109
click to vote
MOVEP
2000
15 years 7 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...
119
click to vote
QSIC
2007
IEEE
15 years 10 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...
127
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
144
click to vote
ICSOC
2010
Springer
15 years 2 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...