125 search results - page 7 / 25 » Process Algebra with Probabilistic Choice |
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
FLAIRS
2007
15 years 2 months ago
2007
CONDORCKD is a system implementing a novel approach to discovering knowledge from data. It addresses the issue of relevance of the learned rules by algebraic means and explicitly ...
102
click to vote
ENTCS
2007
14 years 11 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
CONCUR
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...