282 search results - page 21 / 57 » A Process Algebra Model of the Immune System |
191
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
155
click to vote
QEST
2007
IEEE
16 years 7 days ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
162
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
174
click to vote
PARLE
1987
15 years 9 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
145
click to vote
IDEAS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...