Sciweavers

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