2171 search results - page 56 / 435 » A Generic Process Algebra |
121
click to vote
APIN
1998
15 years 12 days ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
175
Voted
NADA
1998
Springer
15 years 4 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
104
click to vote
RULEML
2009
Springer
15 years 7 months ago
2009
Springer
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
115
Voted
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
87
Voted
JLP
2006
15 years 20 days ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...