Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistraleinformatica:mod:errata-2016:start [01/05/2016 alle 19:02 (9 anni fa)] – Roberto Bruni
+++ magistraleinformatica:mod:errata-2016:start [26/05/2016 alle 21:20 (8 anni fa)] (versione attuale) – Roberto Bruni
@@ Linea 41: / Linea 41: @@
       * P202, line 1: induction should be inductive
     * {{:magistraleinformatica:mod:10-hofl-semeq-draft-2016.pdf|Chapter 10}}: Equivalence between the operational and denotational semantics of HOFL (draft)
+    * {{:magistraleinformatica:mod:11-ccs-draft-2016.pdf|Chapter 11}}: CCS, the calculus of communicating systems (draft)
+      * P226, definition of ENDCELL: input on gamma should be output on gamma
+      * P234, mid page: is x does should be if x does
+      * P246, line 3: fro should be for
+      * P247, statement of Theorem 11.4: if should be is
+      * P249, line -10: (p,q<sub>m</sub>) should be (p',q<sub>m</sub>)
+      * P256, explanation of diamond op: satisfies and the should be satisfies the
+      * P264, item 1: string should be strong
+    * {{:magistraleinformatica:mod:12-ltl-ctl-mu-draft-2016-new.pdf|Chapter 12}}: Temporal logics and the mu-calculus (draft)
+      * P281, end of line 3: \nu x.\mu\phi should be \nu x.\phi
+      * P281, mid page: a dot is missing before This
+      * P286, Problem 12.2, item 1: in should be is
+    * {{:magistraleinformatica:mod:13-pi-draft-2016.pdf|Chapter 13}}: Pi-calculus (draft)
+      * P289, abstract: ingenuous should be ingenious
+    * {{:magistraleinformatica:mod:14-markov-draft-2016_copia.pdf|Chapter 14}}: Measure Theory and Markov Chains (draft)
+      * P320, line-9: X<sub>1</sub> should be X<sub>t</sub>
+      * P322, end of last line: a<sub>i,i+1</sub> should be a<sub>si,si+1</sub>
+      * P326, line -12: \mu should be l (twice)
+      * P328, mid page: \gamma_M should be \gamma_D
+    * {{:magistraleinformatica:mod:15-markov-action-nondet-draft-2016.pdf|Chapter 15}}: Discrete Time Markov Chains with Actions and Non-determinism (draft)
+    * {{:magistraleinformatica:mod:16-pepa-draft-2016.pdf|Chapter 16}}: PEPA (draft, optional reading)