950 search results - page 113 / 190 » Process Algebra in PVS |
153
click to vote
BIRTHDAY
2005
Springer
15 years 12 months 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...
148
click to vote
UC
2005
Springer
15 years 11 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 ...
150
click to vote
CSFW
2003
IEEE
15 years 11 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...
145
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
148
click to vote
ISSAC
2001
Springer
15 years 10 months ago
2001
Springer
The degree of a rational map measures how often the map covers the image variety. In particular, when the rational map is a parametrization, the degree measures how often the para...