942 search results - page 2 / 189 » Process Algebraic Non-product-forms |
ENTCS
2008
13 years 5 months ago
2008
HYPE is a process algebra developed to model hybrid systems
ICECCS
2007
IEEE
13 years 9 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
EDBTW
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Relational algebra has been a crucial foundation for relational database systems, and has played a large role in enabling their success. A corresponding XML algebra for X...
EEF
2000
13 years 8 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
CMSB
2008
Springer
13 years 7 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.