2171 search results - page 27 / 435 » A Generic Process Algebra |
46
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. In this paper we will show how certain techniques of image processing, having different scopes, can be joined together under a common "algebraic roof".
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this app...
100
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
86
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
68
Voted
ENTCS
2006
15 years 20 days ago
2006
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.