2171 search results - page 69 / 435 » A Generic Process Algebra |
111
Voted
EPEW
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
112
click to vote
ENTCS
2007
15 years 21 days 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...
180
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
105
Voted
AH
2008
Springer
15 years 7 months ago
2008
Springer
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...
133
Voted
ICFP
2006
ACM
16 years 21 days ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...