Sciweavers

2167 search results - page 50 / 434
» Stochastic Process Algebras
Sort
View
ENTCS
2007
97views more  ENTCS 2007»
13 years 9 months ago
A Process Algebra for Reasoning About Quantum Security
Pedro Adão, Paulo Mateus
IANDC
2002
107views more  IANDC 2002»
13 years 9 months ago
Simulation Preorder over Simple Process Algebras
Antonín Kucera, Richard Mayr
ENTCS
1998
67views more  ENTCS 1998»
13 years 9 months ago
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
Christopher Colby, Lalita Jategaonkar, Radha Jagad...
TOSEM
2002
68views more  TOSEM 2002»
13 years 9 months ago
Architecting families of software systems with process algebras
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiel...