Comparing process algebra and dynamic epistemic logic with focus on protocol analysis
| Abstract | Eric: “We were wondering if you could give a talk on DEL and Process Algebra (in the sense that both are languages to describe how the model changes).” Jan: “I will give it a try.”. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesNina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Arjen Hommersom, John-jules Meyer & Erik De vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,673 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
