Thumbnail
Access Restriction
Open

Author Knight, Sophia ♦ Mardare, Radu ♦ Panangaden, Prakash
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword 60th Birthday ♦ Completeness Theorem ♦ Epistemic Logic ♦ Transition System ♦ Dynamic Epistemic Logic ♦ Hennessy-milner Logic ♦ Dexter Kozen ♦ Program Semantics Essay Dedicated ♦ Past History ♦ Labelled Transition System ♦ Current State ♦ Process Learn ♦ Equivalence Relation ♦ Direct Combination
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2012-01-01
Publisher Institution DOI : 10.1007/978-3-642-29485-3_14], http://hal.inria.fr/hal-00760967. Books or Proceedings Editing