467 search results - page 4 / 94 » Open bisimulation for aspects |
ENTCS
2006
15 years 3 months ago
2006
109
Voted
FCT
2009
Springer
15 years 1 months ago
2009
Springer
123
Voted
ENTCS
2006
15 years 3 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
152
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
127
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...