2171 search results - page 9 / 435 » A Generic Process Algebra |
EDBTW
2006
Springer
13 years 10 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...
ECOOP
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
AAIP
2009
13 years 9 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
EEF
2000
14 years 2 days 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 10 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.