|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||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Arjen Hommersom, John-jules Meyer & Erik De vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.
Nina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Added to index2009-01-28
Total downloads6 ( #154,676 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?