154 search results - page 5 / 31 » Comparison of Process Algebra Equivalences Using Formats |
ENTCS
2008
13 years 11 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
CIA
2004
Springer
14 years 4 months ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
MASCOTS
2003
14 years 6 days ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
AWIC
2011
Springer
13 years 2 months ago
2011
Springer
Information extraction approaches are heavily used to gather product information on the Web, especially focusing on technical product specifications. If requesting different sour...
FORTE
2010
14 years 9 days ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...