4353 search results - page 31 / 871 » Expressiveness of Process Algebras |
122
Voted
WEBDB
2005
Springer
15 years 9 months ago
2005
Springer
In the relational model it has been shown that the flat relational algebra has the same expressive power as the nested relational algebra, as far as queries over flat relations ...
165
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
119
Voted
TCS
2002
15 years 3 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
151
Voted
TCS
2010
14 years 10 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
144
Voted
DISCO
1992
15 years 7 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...