946 search results - page 6 / 190 » Process Algebra and Non-Interference |
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
EPEW
2008
Springer
13 years 11 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ENTCS
2008
13 years 10 months ago
2008
HYPE is a process algebra developed to model hybrid systems
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...