Sciweavers

4353 search results - page 60 / 871
» Expressiveness of Process Algebras
Sort
View
ISSE
2008
14 years 9 months ago
Extending statecharts with process algebra operators
Marc Frappier, Frédéric Gervais, R&e...
ENTCS
2007
97views more  ENTCS 2007»
14 years 9 months ago
A Process Algebra for Reasoning About Quantum Security
Pedro Adão, Paulo Mateus
68
Voted
PPL
2008
82views more  PPL 2008»
14 years 9 months ago
Automatic Mapping of Assist Applications Using Process Algebra
Marco Aldinucci, Anne Benoit
IANDC
2002
107views more  IANDC 2002»
14 years 9 months ago
Simulation Preorder over Simple Process Algebras
Antonín Kucera, Richard Mayr
ENTCS
1998
67views more  ENTCS 1998»
14 years 9 months ago
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
Christopher Colby, Lalita Jategaonkar, Radha Jagad...