2171 search results - page 6 / 435 » A Generic Process Algebra |
DNA
2009
Springer
14 years 3 months ago
2009
Springer
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
ENTCS
2008
13 years 8 months ago
2008
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
FUIN
2002
13 years 8 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
ADAEUROPE
2001
Springer
14 years 29 days ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...