946 search results - page 2 / 190 » Process Algebra and Non-Interference |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
ENTCS
2010
13 years 7 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
TCS
2010
13 years 4 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
CAI
2009
Springer
14 years 4 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
TSP
2010
13 years 4 months ago
2010
Detection and estimation problems in multiple-input multiple-output (MIMO) radar have recently drawn considerable interest in the signal processing community. Radar has long been a...