31 search results - page 1 / 7 » Non Interleaving Process Algebra |
122
Voted
CONCUR
1993
Springer
15 years 10 months ago
1993
Springer
164
Voted
FUIN
2006
15 years 5 months ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
155
Voted
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
188
Voted
TCS
2010
15 years 16 days 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...
211
Voted
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...