942 search results - page 8 / 189 » Process Algebraic Non-product-forms |
TACS
1991
Springer
14 years 1 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
CAI
2009
Springer
14 years 4 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
CORR
2010
Springer
13 years 10 months 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".
FOSSACS
2006
Springer
14 years 1 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...
DAGSTUHL
2006
13 years 11 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...