4353 search results - page 302 / 871 » Expressiveness of Process Algebras |
166
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
164
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
162
Voted
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
154
click to vote
UC
2005
Springer
16 years 5 days ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
157
click to vote
CSFW
2003
IEEE
16 years 2 hour ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...