Sciweavers

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