85 search results - page 4 / 17 » Open Bisimulation, Revisited |
MFCS
1998
Springer
15 years 2 months ago
1998
Springer
FCT
2009
Springer
14 years 7 months ago
2009
Springer
ENTCS
2006
14 years 10 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 (...
102
click to vote
TPHOL
2009
IEEE
15 years 4 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...
JSW
2008
14 years 10 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...