|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Nina 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.
Added to index2009-01-28
Total downloads6 ( #145,673 of 549,113 )
Recent downloads (6 months)1 ( #63,361 of 549,113 )
How can I increase my downloads?