7109 search results - page 279 / 1422 » Process Algebra with Combinators |
167
click to vote
AB
2008
Springer
15 years 11 months ago
2008
Springer
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...
127
Voted
ICNP
2007
IEEE
15 years 11 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...
132
click to vote
MODELS
2007
Springer
15 years 10 months 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-...
128
click to vote
UC
2005
Springer
15 years 10 months 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 ...
122
click to vote
CSFW
2003
IEEE
15 years 10 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...