4353 search results - page 25 / 871 » Expressiveness of Process Algebras |
CP
2000
Springer
15 years 1 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
68
Voted
DBPL
2007
Springer
15 years 3 months ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...
EEF
2000
15 years 1 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
90
Voted
CMSB
2008
Springer
14 years 11 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
IMECS
2007
14 years 11 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...