4460 search results - page 276 / 892 » Resources in process algebra |
163
click to vote
ICNP
2007
IEEE
16 years 28 days 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...
163
click to vote
MODELS
2007
Springer
16 years 23 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-...
161
Voted
BIRTHDAY
2005
Springer
16 years 5 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 3 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 ...
154
click to vote
CSFW
2003
IEEE
15 years 12 months 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...