Strumenti Utente
lpr-b:lpr-b-08:lezioni
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in magistraleinformatica:psc
- 01_-_inference-2023.pdf
- 27/02/2023 alle 20:48 (18 mesi fa)
- 98.3 KB
- 01_-_inference.pdf
- 26/02/2021 alle 16:12 (3 anni fa)
- 90.2 KB
- 01_-_inference_-_2022.pdf
- 25/02/2022 alle 08:30 (2 anni fa)
- 98.3 KB
- 01_-_inference_-_2024.pdf
- 24/02/2024 alle 10:49 (6 mesi fa)
- 98.5 KB
- 02_-_properties-2023.pdf
- 03/03/2023 alle 17:56 (17 mesi fa)
- 92.8 KB
- 02_-_properties_-_2022.pdf
- 28/02/2022 alle 15:10 (2 anni fa)
- 92.7 KB
- 02_-_properties_-_2024.pdf
- 07/03/2024 alle 08:47 (5 mesi fa)
- 92.9 KB
- 03_-_poset-2023.pdf
- 13/03/2023 alle 22:00 (17 mesi fa)
- 127.5 KB
- 03_-_poset_-_2022.pdf
- 15/03/2022 alle 10:06 (2 anni fa)
- 125.9 KB
- 03_-_poset_-_2024.pdf
- 17/03/2024 alle 17:40 (5 mesi fa)
- 127.7 KB
- 04_-_haskell-2022.pdf
- 19/03/2022 alle 11:40 (2 anni fa)
- 102.7 KB
- 04_-_haskell-2023.pdf
- 23/03/2023 alle 16:00 (17 mesi fa)
- 102.8 KB
- 04_-_haskell_-_2024.pdf
- 30/03/2024 alle 11:00 (4 mesi fa)
- 102.9 KB
- 05_-_hofl-2022.pdf
- 05/04/2022 alle 20:38 (2 anni fa)
- 115.5 KB
- 05_-_hofl-2023.pdf
- 03/04/2023 alle 10:19 (16 mesi fa)
- 115.6 KB
- 05_-_hofl_-_2024.pdf
- 13/04/2024 alle 18:05 (4 mesi fa)
- 115.7 KB
- 06_-_erlang_-_ccs-2022.pdf
- 14/04/2022 alle 18:38 (2 anni fa)
- 102.7 KB
- 06_-_erlang_-_ccs-2023.pdf
- 26/04/2023 alle 13:04 (16 mesi fa)
- 102.8 KB
- 06_-_erlang_-_ccs_-_2024.pdf
- 05/05/2024 alle 11:02 (3 mesi fa)
- 102.9 KB
- 07_-_logics_-_googlego_-_pi-2023.pdf
- 11/05/2023 alle 13:29 (15 mesi fa)
- 129.5 KB
- 07_-_logics_-_googlego_-_pi_-_2022.pdf
- 05/05/2022 alle 17:58 (2 anni fa)
- 129.4 KB
- 07_-_logics_-_googlego_-_pi_-_2024.pdf
- 10/05/2024 alle 10:21 (3 mesi fa)
- 129.7 KB
- 08_-_probability_-_2022.pdf
- 11/05/2022 alle 17:59 (2 anni fa)
- 354 KB
- 08_-_probability_-_2023.pdf
- 15/05/2023 alle 15:37 (15 mesi fa)
- 354.1 KB
- 08_-_probability_-_2024.pdf
- 17/05/2024 alle 15:51 (3 mesi fa)
- 354.2 KB
- 2018-04-05-appello-straordinario.pdf
- 11/04/2018 alle 15:41 (6 anni fa)
- 112.2 KB
- 2019-04-03-appello-straordinario.pdf
- 08/04/2019 alle 15:26 (5 anni fa)
- 105.2 KB
- 2019-11-14-appello-straordinario.pdf
- 14/11/2019 alle 14:15 (5 anni fa)
- 87.9 KB
- 2021-02-15_-_01_-_intro.pdf
- 16/02/2021 alle 13:35 (4 anni fa)
- 5.7 MB
- 2021-02-15_-_02_-_semantics.pdf
- 17/02/2021 alle 21:42 (4 anni fa)
- 7.9 MB
- 2021-02-17_-_02_-_semantics.pdf
- 19/02/2021 alle 16:17 (4 anni fa)
- 7.9 MB
- 2021-02-19_-_03_-_unification.pdf
- 19/02/2021 alle 16:16 (4 anni fa)
- 6.8 MB
- 2021-02-22_-_04_-_logic.pdf
- 22/02/2021 alle 22:41 (4 anni fa)
- 8.5 MB
- 2021-02-24_-_05a_-_induction.pdf
- 01/03/2021 alle 09:38 (3 anni fa)
- 14.7 MB
- 2021-03-01_-_05b_-_more_induction.pdf
- 03/03/2021 alle 23:11 (3 anni fa)
- 15.6 MB
- 2021-03-03_-_05c_-_rule_induction.pdf
- 03/03/2021 alle 23:11 (3 anni fa)
- 6.5 MB
- 2021-03-05_-_06_-_equivalence.pdf
- 08/03/2021 alle 17:26 (3 anni fa)
- 6.1 MB
- 2021-03-05_-_exercises_02.pdf
- 05/03/2021 alle 17:27 (3 anni fa)
- 8.2 MB
- 2021-03-08_-_07_-_recursion.pdf
- 08/03/2021 alle 17:26 (3 anni fa)
- 8.2 MB
- 2021-03-10_-_08a_-_cpo.pdf
- 14/03/2021 alle 10:10 (3 anni fa)
- 6.3 MB
- 2021-03-12_-_08b_-_kleene.pdf
- 14/03/2021 alle 10:11 (3 anni fa)
- 11.4 MB
- 2021-03-15_-_08c_-_ico.pdf
- 22/03/2021 alle 18:10 (3 anni fa)
- 7.6 MB
- 2021-03-15_-_09_-_denotational_imp.pdf
- 22/03/2021 alle 18:10 (3 anni fa)
- 9.8 MB
- 2021-03-17_-_10_-_consistency_imp.pdf
- 22/03/2021 alle 18:11 (3 anni fa)
- 19.2 MB
- 2021-03-17_-_exercises_03.pdf
- 22/03/2021 alle 18:11 (3 anni fa)
- 11.2 MB
- 2021-03-19_-_11_-_haskell.pdf
- 22/03/2021 alle 18:11 (3 anni fa)
- 3.4 MB
- 2021-03-29_-_12a_-_hofl_types.pdf
- 31/03/2021 alle 23:39 (3 anni fa)
- 6.4 MB
- 2021-03-31_-_12b_-_hofl_operational.pdf
- 31/03/2021 alle 23:39 (3 anni fa)
- 8.6 MB
- 2021-04-07_-_13a_-_cartesian_domains.pdf
- 09/04/2021 alle 15:41 (3 anni fa)
- 5.7 MB
- 2021-04-07_-_13b_-_functional_domains.pdf
- 09/04/2021 alle 15:41 (3 anni fa)
- 7 MB
- 2021-04-09_-_13c_-_continuity_theorems.pdf
- 09/04/2021 alle 15:42 (3 anni fa)
- 10.5 MB
- 2021-04-12_-_14_-_hofl_denotational.pdf
- 15/04/2021 alle 10:55 (3 anni fa)
- 11.2 MB
- 2021-04-14_-_15_-_consistency_hofl.pdf
- 15/04/2021 alle 10:56 (3 anni fa)
- 13 MB
- 2021-04-14_-_exercises_04.pdf
- 16/04/2021 alle 15:50 (3 anni fa)
- 8.5 MB
- 2021-04-14_-_exercises_05.pdf
- 24/04/2021 alle 22:42 (3 anni fa)
- 8.5 MB
- 2021-04-16_-_16_-_erlang.pdf
- 16/04/2021 alle 15:56 (3 anni fa)
- 741.5 KB
- 2021-04-21_-_17a_-_ccs.pdf
- 23/04/2021 alle 15:43 (3 anni fa)
- 9.6 MB
- 2021-04-23_-_17b_-_ccs_guarded.pdf
- 23/04/2021 alle 15:49 (3 anni fa)
- 4.8 MB
- 2021-04-23_-_18a_-_ccs_abstract.pdf
- 23/04/2021 alle 15:49 (3 anni fa)
- 4 MB
- 2021-04-23_-_18b_-_ccs_bisimulation.pdf
- 23/04/2021 alle 15:49 (3 anni fa)
- 9.3 MB
- 2021-04-26_-_18c_-_ccs_bis_as_fix.pdf
- 01/05/2021 alle 14:24 (3 anni fa)
- 7.1 MB
- 2021-04-28_-_19_-_hml.pdf
- 01/05/2021 alle 14:25 (3 anni fa)
- 4.1 MB
- 2021-04-28_-_20_-_weak.pdf
- 01/05/2021 alle 14:26 (3 anni fa)
- 4.9 MB
- 2021-04-30_-_21_-_ccs_at_work.pdf
- 01/05/2021 alle 14:26 (3 anni fa)
- 8 MB
- 2021-05-05_-_exercises_06.pdf
- 06/05/2021 alle 23:22 (3 anni fa)
- 6.5 MB
- 2021-05-07_-_22a_-_ltl_ctl.pdf
- 20/05/2021 alle 22:34 (3 anni fa)
- 7.9 MB
- 2021-05-10_-_22b_-_mu_calculus.pdf
- 20/05/2021 alle 22:34 (3 anni fa)
- 8.1 MB
- 2021-05-12_-_23_-_google_go.pdf
- 20/05/2021 alle 22:35 (3 anni fa)
- 1002.9 KB
- 2021-05-14_-_24_-_pi_calculus.pdf
- 20/05/2021 alle 22:35 (3 anni fa)
- 9.4 MB
- 2021-05-17_-_25a_-_dtmc.pdf
- 20/05/2021 alle 22:36 (3 anni fa)
- 7.5 MB
- 2021-05-17_-_exercises_07.pdf
- 20/05/2021 alle 22:35 (3 anni fa)
- 6.8 MB
- 2021-05-19_-_25b_-_ctmc.pdf
- 20/05/2021 alle 22:37 (3 anni fa)
- 4.8 MB
- 2021-05-21_-_26_-_probabilistic_bisimilarities.pdf
- 20/05/2021 alle 22:38 (3 anni fa)
- 7.2 MB
- 2022-02-14_-_01_-_intro.pdf
- 14/02/2022 alle 18:18 (3 anni fa)
- 5.7 MB
- 2022-02-15_-_02_-_semantics.pdf
- 13/02/2022 alle 14:59 (3 anni fa)
- 7.9 MB
- 2022-02-17_-_03_-_unification.pdf
- 17/02/2022 alle 09:14 (3 anni fa)
- 6.9 MB
- 2022-02-21_-_04_-_logic.pdf
- 17/02/2022 alle 19:22 (3 anni fa)
- 9.8 MB
- 2022-02-22_-_05a_-_induction.pdf
- 25/02/2022 alle 08:28 (2 anni fa)
- 16.2 MB
- 2022-02-24_-_05b_-_more_induction.pdf
- 25/02/2022 alle 08:29 (2 anni fa)
- 15.6 MB
- 2022-02-28_-_05c_-_rule_induction.pdf
- 28/02/2022 alle 15:09 (2 anni fa)
- 6.6 MB
- 2022-03-01_-_06_-_equivalence.pdf
- 28/02/2022 alle 15:09 (2 anni fa)
- 6.1 MB
- 2022-03-01_-_07_-_recursion.pdf
- 28/02/2022 alle 15:10 (2 anni fa)
- 8.2 MB
- 2022-03-07_-_08a_-_cpo.pdf
- 05/03/2022 alle 19:38 (2 anni fa)
- 6.3 MB
- 2022-03-10_-_08b_-_kleene.pdf
- 13/03/2022 alle 17:04 (2 anni fa)
- 11.4 MB
- 2022-03-14_-_08c_-_ico.pdf
- 13/03/2022 alle 17:05 (2 anni fa)
- 7.6 MB
- 2022-03-14_-_09_-_denotational_imp.pdf
- 15/03/2022 alle 10:05 (2 anni fa)
- 10 MB
- 2022-03-15_-_10_-_consistency_imp.pdf
- 15/03/2022 alle 10:07 (2 anni fa)
- 19.2 MB
- 2022-03-17_-_11_-_haskell.pdf
- 19/03/2022 alle 11:27 (2 anni fa)
- 4 MB
- 2022-03-24_-_12a_-_hofl_types.pdf
- 25/03/2022 alle 09:49 (2 anni fa)
- 6.5 MB
- 2022-03-28_-_12b_-_hofl_operational.pdf
- 01/04/2022 alle 17:11 (2 anni fa)
- 8.6 MB
- 2022-03-29_-_13a_-_cartesian_domains.pdf
- 01/04/2022 alle 17:12 (2 anni fa)
- 5.8 MB
- 2022-03-29_-_13b_-_functional_domains.pdf
- 01/04/2022 alle 17:13 (2 anni fa)
- 7 MB
- 2022-03-31_-_13c_-_continuity_theorems.pdf
- 01/04/2022 alle 17:16 (2 anni fa)
- 10.5 MB
- 2022-03-31_-_14_-_hofl_denotational.pdf
- 01/04/2022 alle 17:16 (2 anni fa)
- 11.2 MB
- 2022-04-04_-_15_-_consistency_hofl.pdf
- 05/04/2022 alle 20:36 (2 anni fa)
- 13 MB
- 2022-04-05_-_16_-_erlang.pdf
- 05/04/2022 alle 20:38 (2 anni fa)
- 802.2 KB
- 2022-04-07_-_17a_-_ccs.pdf
- 08/04/2022 alle 17:40 (2 anni fa)
- 9.6 MB
- 2022-04-11_-_17b_-_ccs_guarded.pdf
- 11/04/2022 alle 17:43 (2 anni fa)
- 4.8 MB
- 2022-04-11_-_18a_-_ccs_abstract.pdf
- 11/04/2022 alle 17:43 (2 anni fa)
- 4 MB
- 2022-04-12_-_18b_-_ccs_bisimulation.pdf
- 14/04/2022 alle 18:35 (2 anni fa)
- 9.3 MB
- 2022-04-14_-_18c_-_ccs_bis_as_fix.pdf
- 14/04/2022 alle 18:36 (2 anni fa)
- 7.1 MB
- 2022-04-14_-_19_-_hml.pdf
- 14/04/2022 alle 18:36 (2 anni fa)
- 4.2 MB
- 2022-04-26_-_20_-_weak.pdf
- 28/04/2022 alle 12:29 (2 anni fa)
- 4.9 MB
- 2022-04-26_-_21_-_ccs_at_work.pdf
- 28/04/2022 alle 12:29 (2 anni fa)
- 8.1 MB
- 2022-05-02_-_22a_-_ltl_ctl.pdf
- 02/05/2022 alle 15:07 (2 anni fa)
- 8 MB
- 2022-05-03_-_22b_-_mu_calculus.pdf
- 02/05/2022 alle 15:07 (2 anni fa)
- 8.1 MB
- 2022-05-05_-_23_-_google_go.pdf
- 02/05/2022 alle 15:12 (2 anni fa)
- 1 MB
- 2022-05-09_-_24_-_pi_calculus.pdf
- 09/05/2022 alle 21:14 (2 anni fa)
- 9.4 MB
- 2022-05-10_-_25a_-_dtmc.pdf
- 11/05/2022 alle 18:00 (2 anni fa)
- 7.6 MB
- 2022-05-12_-_25b_-_ctmc.pdf
- 15/05/2022 alle 21:33 (2 anni fa)
- 4.9 MB
- 2022-05-12_-_26_-_probabilistic_bisimilarities.pdf
- 15/05/2022 alle 21:33 (2 anni fa)
- 7.2 MB
- 2022-05-16_-_27_-_pepa.pdf
- 15/05/2022 alle 21:34 (2 anni fa)
- 7.1 MB
- 2023-02-20_-_01_-_intro.pdf
- 21/02/2023 alle 18:23 (18 mesi fa)
- 5.1 MB
- 2023-02-20_-_02_-_semantics.pdf
- 21/02/2023 alle 18:24 (18 mesi fa)
- 7 MB
- 2023-02-21_-_03_-_unification.pdf
- 21/02/2023 alle 18:24 (18 mesi fa)
- 8.3 MB
- 2023-02-21_-_04_-_logic.pdf
- 21/02/2023 alle 18:24 (18 mesi fa)
- 9.8 MB
- 2023-02-23_-_05a_-_induction.pdf
- 26/02/2023 alle 21:56 (18 mesi fa)
- 13.3 MB
- 2023-02-27_-_05b_-_more_induction.pdf
- 27/02/2023 alle 20:47 (18 mesi fa)
- 15.6 MB
- 2023-02-28_-_05c_-_rule_induction.pdf
- 27/02/2023 alle 20:48 (18 mesi fa)
- 6.6 MB
- 2023-03-02_-_06_-_equivalence.pdf
- 03/03/2023 alle 17:55 (17 mesi fa)
- 6.6 MB
- 2023-03-02_-_07_-_recursion.pdf
- 03/03/2023 alle 17:55 (17 mesi fa)
- 8.2 MB
- 2023-03-06_-_08a_-_cpo.pdf
- 06/03/2023 alle 14:17 (17 mesi fa)
- 6.3 MB
- 2023-03-07_-_08b_-_kleene.pdf
- 08/03/2023 alle 10:32 (17 mesi fa)
- 11.8 MB
- 2023-03-09_-_08c_-_ico.pdf
- 09/03/2023 alle 15:58 (17 mesi fa)
- 7.7 MB
- 2023-03-09_-_09_-_denotational_imp.pdf
- 09/03/2023 alle 15:58 (17 mesi fa)
- 10.1 MB
- 2023-03-13_-_10_-_consistency_imp.pdf
- 13/03/2023 alle 22:00 (17 mesi fa)
- 19.2 MB
- 2023-03-14_-_11_-_haskell.pdf
- 13/03/2023 alle 22:02 (17 mesi fa)
- 3.6 MB
- 2023-03-21_-_12a_-_hofl_types.pdf
- 23/03/2023 alle 15:59 (17 mesi fa)
- 6.5 MB
- 2023-03-23_-_12b_-_hofl_operational.pdf
- 23/03/2023 alle 16:00 (17 mesi fa)
- 8.6 MB
- 2023-03-27_-_13a_-_cartesian_domains.pdf
- 27/03/2023 alle 14:37 (17 mesi fa)
- 5.6 MB
- 2023-03-27_-_13b_-_functional_domains.pdf
- 27/03/2023 alle 14:38 (17 mesi fa)
- 7 MB
- 2023-03-28_-_13c_-_continuity_theorems.pdf
- 03/04/2023 alle 10:17 (16 mesi fa)
- 10.5 MB
- 2023-03-28_-_14_-_hofl_denotational.pdf
- 03/04/2023 alle 10:17 (16 mesi fa)
- 11.2 MB
- 2023-03-30_-_15_-_consistency_hofl.pdf
- 03/04/2023 alle 10:18 (16 mesi fa)
- 13 MB
- 2023-04-03_-_16_-_erlang.pdf
- 03/04/2023 alle 14:11 (16 mesi fa)
- 562.3 KB
- 2023-04-04_-_17a_-_ccs.pdf
- 05/04/2023 alle 12:01 (16 mesi fa)
- 10 MB
- 2023-04-13_-_17b_-_ccs_guarded.pdf
- 14/04/2023 alle 17:43 (16 mesi fa)
- 4.8 MB
- 2023-04-13_-_18a_-_ccs_abstract.pdf
- 14/04/2023 alle 17:43 (16 mesi fa)
- 4 MB
- 2023-04-13_-_18b_-_ccs_bisimulation.pdf
- 14/04/2023 alle 17:44 (16 mesi fa)
- 9.8 MB
- 2023-04-17_-_18c_-_ccs_bis_as_fix.pdf
- 20/04/2023 alle 18:02 (16 mesi fa)
- 7.1 MB
- 2023-04-18_-_19_-_hml.pdf
- 20/04/2023 alle 18:02 (16 mesi fa)
- 4.7 MB
- 2023-04-18_-_20_-_weak.pdf
- 20/04/2023 alle 18:03 (16 mesi fa)
- 4.9 MB
- 2023-04-20_-_21_-_ccs_at_work.pdf
- 20/04/2023 alle 18:03 (16 mesi fa)
- 7.6 MB
- 2023-04-24_-_22a_-_ltl_ctl.pdf
- 26/04/2023 alle 13:03 (16 mesi fa)
- 8 MB
- 2023-04-27_-_22b_-_mu_calculus.pdf
- 26/04/2023 alle 13:03 (16 mesi fa)
- 8.3 MB
- 2023-05-02_-_23_-_google_go.pdf
- 02/05/2023 alle 17:42 (15 mesi fa)
- 968.7 KB
- 2023-05-04_-_24_-_pi_calculus.pdf
- 08/05/2023 alle 15:04 (15 mesi fa)
- 9.4 MB
- 2023-05-09_-_25a_-_dtmc.pdf
- 11/05/2023 alle 13:29 (15 mesi fa)
- 7.6 MB
- 2023-05-11_-_25b_-_ctmc.pdf
- 11/05/2023 alle 13:30 (15 mesi fa)
- 4.9 MB
- 2023-05-11_-_26_-_probabilistic_bisimilarities.pdf
- 11/05/2023 alle 13:30 (15 mesi fa)
- 7.7 MB
- 2023-05-15_-_27_-_pepa.pdf
- 15/05/2023 alle 15:36 (15 mesi fa)
- 8.2 MB
- 2024-02-20_-_01_-_intro.pdf
- 24/02/2024 alle 10:33 (6 mesi fa)
- 13.9 MB
- 2024-02-20_-_02_-_semantics.pdf
- 24/02/2024 alle 10:34 (6 mesi fa)
- 8 MB
- 2024-02-22_-_03_-_unification.pdf
- 24/02/2024 alle 10:35 (6 mesi fa)
- 8.5 MB
- 2024-02-23_-_04_-_logic.pdf
- 24/02/2024 alle 10:38 (6 mesi fa)
- 9.9 MB
- 2024-02-27_-_05a_-_induction.pdf
- 24/02/2024 alle 10:50 (6 mesi fa)
- 17.9 MB
- 2024-02-29_-_05b_-_more_induction.pdf
- 05/03/2024 alle 02:05 (5 mesi fa)
- 15.6 MB
- 2024-03-01_-_05c_-_rule_induction.pdf
- 05/03/2024 alle 02:06 (5 mesi fa)
- 6.6 MB
- 2024-03-05_-_06_-_equivalence.pdf
- 07/03/2024 alle 08:45 (5 mesi fa)
- 6.5 MB
- 2024-03-05_-_07_-_recursion.pdf
- 07/03/2024 alle 08:46 (5 mesi fa)
- 8.2 MB
- 2024-03-07_-_08a_-_cpo.pdf
- 07/03/2024 alle 22:07 (5 mesi fa)
- 6.4 MB
- 2024-03-07_-_08b_-_kleene.pdf
- 07/03/2024 alle 22:08 (5 mesi fa)
- 11.8 MB
- 2024-03-19_-_08c_-_ico.pdf
- 17/03/2024 alle 17:41 (5 mesi fa)
- 7.6 MB
- 2024-03-19_-_09_-_denotational_imp.pdf
- 17/03/2024 alle 17:42 (5 mesi fa)
- 9.9 MB
- 2024-03-21_-_10_-_consistency_imp.pdf
- 21/03/2024 alle 17:08 (5 mesi fa)
- 19.2 MB
- 2024-03-22_-_11_-_haskell.pdf
- 21/03/2024 alle 17:09 (5 mesi fa)
- 3.8 MB
- 2024-04-04_-_12a_-_hofl_types.pdf
- 05/04/2024 alle 17:23 (4 mesi fa)
- 6.4 MB
- 2024-04-04_-_12b_-_hofl_operational.pdf
- 05/04/2024 alle 17:23 (4 mesi fa)
- 8.6 MB
- 2024-04-05_-_13a_-_cartesian_domains.pdf
- 05/04/2024 alle 17:24 (4 mesi fa)
- 5.2 MB
- 2024-04-11_-_13b_-_functional_domains.pdf
- 13/04/2024 alle 17:50 (4 mesi fa)
- 7 MB
- 2024-04-11_-_13c_-_continuity_theorems.pdf
- 13/04/2024 alle 17:51 (4 mesi fa)
- 10.5 MB
- 2024-04-12_-_14_-_hofl_denotational.pdf
- 13/04/2024 alle 17:52 (4 mesi fa)
- 11.2 MB
- 2024-04-12_-_15_-_consistency_hofl.pdf
- 13/04/2024 alle 17:58 (4 mesi fa)
- 13 MB
- 2024-04-16_-_16_-_erlang.pdf
- 20/04/2024 alle 12:12 (4 mesi fa)
- 1.7 MB
- 2024-04-18_-_17a_-_ccs.pdf
- 19/04/2024 alle 13:04 (4 mesi fa)
- 10 MB
- 2024-04-19_-_17b_-_ccs_guarded.pdf
- 19/04/2024 alle 13:05 (4 mesi fa)
- 4.8 MB
- 2024-04-19_-_18a_-_ccs_abstract.pdf
- 20/04/2024 alle 09:52 (4 mesi fa)
- 4 MB
- 2024-04-19_-_18b_-_ccs_bisimulation.pdf
- 20/04/2024 alle 09:53 (4 mesi fa)
- 9.7 MB
- 2024-04-23_-_18c_-_ccs_bis_as_fix.pdf
- 27/04/2024 alle 12:25 (3 mesi fa)
- 7.1 MB
- 2024-04-26_-_19_-_hml.pdf
- 27/04/2024 alle 12:26 (3 mesi fa)
- 4.6 MB
- 2024-04-26_-_20_-_weak.pdf
- 27/04/2024 alle 12:27 (3 mesi fa)
- 4.9 MB
- 2024-04-30_-_21_-_ccs_at_work.pdf
- 01/05/2024 alle 17:26 (3 mesi fa)
- 8.3 MB
- 2024-05-02_-_22a_-_ltl_ctl.pdf
- 05/05/2024 alle 11:02 (3 mesi fa)
- 7.9 MB
- 2024-05-03_-_22b_-_mu_calculus.pdf
- 08/05/2024 alle 11:15 (3 mesi fa)
- 8.4 MB
- 2024-05-09_-_23_-_google_go.pdf
- 10/05/2024 alle 10:13 (3 mesi fa)
- 1.1 MB
- 2024-05-10_-_24_-_pi_calculus.pdf
- 10/05/2024 alle 10:22 (3 mesi fa)
- 9.4 MB
- 2024-05-14_-_25a_-_dtmc.pdf
- 15/05/2024 alle 16:51 (3 mesi fa)
- 8 MB
- 2024-05-16_-_25b_-_ctmc.pdf
- 17/05/2024 alle 15:49 (3 mesi fa)
- 5.2 MB
- 2024-05-16_-_26_-_probabilistic_bisimilarities.pdf
- 17/05/2024 alle 15:50 (3 mesi fa)
- 7.6 MB
- 2024-05-17_-_27_-_pepa.pdf
- 17/05/2024 alle 15:51 (3 mesi fa)
- 9.2 MB
- buffers_in_caal_2021.zip
- 01/05/2021 alle 14:29 (3 anni fa)
- 1.3 KB
- caal-session-2020.zip
- 07/05/2020 alle 15:42 (4 anni fa)
- 6 KB
- caal-session-2022.zip
- 29/04/2022 alle 15:32 (2 anni fa)
- 8.3 KB
- caal-session-2023.zip
- 20/04/2023 alle 18:07 (16 mesi fa)
- 5.1 KB
- caal-session-2024.zip
- 01/05/2024 alle 17:21 (3 mesi fa)
- 5.7 KB
- caal-session1.zip
- 15/05/2019 alle 16:53 (5 anni fa)
- 4.8 KB
- caal-session2.zip
- 16/05/2019 alle 15:50 (5 anni fa)
- 1.7 KB
- erl-session.zip
- 24/04/2018 alle 18:12 (6 anni fa)
- 8.1 KB
- erl_2019.zip
- 18/04/2019 alle 12:12 (5 anni fa)
- 11.1 KB
- erl_2020.zip
- 23/04/2020 alle 15:59 (4 anni fa)
- 11.1 KB
- erl_2021.zip
- 19/04/2021 alle 18:31 (3 anni fa)
- 11.7 KB
- erl_2022.zip
- 05/04/2022 alle 21:10 (2 anni fa)
- 15.1 KB
- erl_2023.zip
- 03/04/2023 alle 14:11 (16 mesi fa)
- 12.8 KB
- erl_2024.zip
- 19/04/2024 alle 13:03 (4 mesi fa)
- 20.2 KB
- examples_caal.zip
- 15/05/2018 alle 16:03 (6 anni fa)
- 4.5 KB
- extra.pdf
- 03/04/2020 alle 13:48 (4 anni fa)
- 164.3 KB
- ghci-session1-2019.txt.zip
- 20/03/2019 alle 16:38 (5 anni fa)
- 4.8 KB
- ghci-session1-2020.txt.zip
- 19/03/2020 alle 15:54 (4 anni fa)
- 9.8 KB
- ghci-session1-2021.txt.zip
- 22/03/2021 alle 18:12 (3 anni fa)
- 6.2 KB
- ghci-session1-2022.txt.zip
- 19/03/2022 alle 11:29 (2 anni fa)
- 7.2 KB
- ghci-session1-2023.txt.zip
- 15/03/2023 alle 15:23 (17 mesi fa)
- 7.4 KB
- ghci-session1-2024.txt.zip
- 22/03/2024 alle 16:11 (5 mesi fa)
- 24.7 KB
- ghci-session1.txt.zip
- 21/03/2018 alle 11:34 (6 anni fa)
- 4.7 KB
- ghci-session2-2019.txt.zip
- 21/03/2019 alle 16:17 (5 anni fa)
- 13.2 KB
- ghci-session2-2020.txt.zip
- 20/03/2020 alle 15:51 (4 anni fa)
- 22.4 KB
- ghci-session2-2021.txt.zip
- 24/03/2021 alle 16:25 (3 anni fa)
- 8.8 KB
- ghci-session2-2022.txt.zip
- 21/03/2022 alle 15:41 (2 anni fa)
- 8.5 KB
- ghci-session2-2023.txt.zip
- 16/03/2023 alle 16:20 (17 mesi fa)
- 24 KB
- ghci-session2-2024.txt.zip
- 26/03/2024 alle 18:21 (4 mesi fa)
- 4.2 KB
- ghci-session2.txt.zip
- 19/03/2019 alle 20:43 (5 anni fa)
- 6.3 KB
- ghci-session3-2019.txt.zip
- 22/03/2019 alle 16:48 (5 anni fa)
- 4.3 KB
- ghci-session3-2020.txt.zip
- 25/03/2020 alle 15:42 (4 anni fa)
- 3.4 KB
- ghci-session3-2021.txt.zip
- 26/03/2021 alle 15:38 (3 anni fa)
- 3.2 KB
- ghci-session3-2022.txt.zip
- 22/03/2022 alle 23:20 (2 anni fa)
- 4.2 KB
- ghci-session3-2023.txt.zip
- 20/03/2023 alle 12:38 (17 mesi fa)
- 4.4 KB
- ghci-session3-2024.txt.zip
- 30/03/2024 alle 10:59 (4 mesi fa)
- 7 KB
- ghci-session3.txt.zip
- 23/03/2018 alle 16:39 (6 anni fa)
- 4.5 KB
- ghci-session4-2020.txt.zip
- 26/03/2020 alle 15:58 (4 anni fa)
- 5.3 KB
- ghci-session5-2020.txt.zip
- 27/03/2020 alle 15:40 (4 anni fa)
- 1.9 KB
- go-session-2020.zip
- 15/05/2020 alle 11:11 (4 anni fa)
- 10.3 KB
- go-session-2022.zip
- 05/05/2022 alle 17:59 (2 anni fa)
- 12.4 KB
- go-session-2023.zip
- 02/05/2023 alle 17:42 (15 mesi fa)
- 11.4 KB
- go-session-2024.zip
- 10/05/2024 alle 10:12 (3 mesi fa)
- 17.6 KB
- go-session.zip
- 22/05/2019 alle 17:00 (5 anni fa)
- 9.1 KB
- go-session1-2021.zip
- 15/05/2021 alle 16:55 (3 anni fa)
- 7 KB
- go-session1.zip
- 17/05/2018 alle 14:49 (6 anni fa)
- 4 KB
- go-session2-2021.zip
- 15/05/2021 alle 16:55 (3 anni fa)
- 2.7 KB
- go-session2.zip
- 18/05/2018 alle 15:59 (6 anni fa)
- 3.7 KB
- peterson_hyman_in_caal_2021.zip
- 03/05/2021 alle 17:14 (3 anni fa)
- 2.6 KB
- psc.png
- 346×166
- 14/02/2018 alle 10:49 (7 anni fa)
- 7.2 KB
- testo-2018-04-05.pdf
- 11/04/2018 alle 15:38 (6 anni fa)
- 129.9 KB
- testo-2018-05-31.pdf
- 31/05/2018 alle 13:17 (6 anni fa)
- 104.2 KB
- testo-2018-06-13.pdf
- 30/06/2018 alle 19:47 (6 anni fa)
- 114.7 KB
- testo-2018-07-25.pdf
- 25/07/2018 alle 23:06 (6 anni fa)
- 82.7 KB
- testo-2018-09-11.pdf
- 15/10/2018 alle 10:57 (6 anni fa)
- 107.9 KB
- testo-2019-04-03.pdf
- 08/04/2019 alle 15:26 (5 anni fa)
- 106.5 KB
- testo-2019-06-05.pdf
- 08/06/2019 alle 15:34 (5 anni fa)
- 92.3 KB
- testo-2019-06-19.pdf
- 21/06/2019 alle 15:21 (5 anni fa)
- 105.6 KB
- testo-2019-07-23.pdf
- 25/07/2019 alle 12:47 (5 anni fa)
- 87 KB
- testo-2019-09-10.pdf
- 10/09/2019 alle 15:46 (5 anni fa)
- 86 KB
File
- Guarda
- Storia
- Data:
- 31/03/2021 alle 23:39 (3 anni fa)
- Nome File:
- 2021-03-29_-_12a_-_hofl_types.pdf
- Dimensione:
- 6MB
- Riferimenti a:
- Principles for Software Composition
lpr-b/lpr-b-08/lezioni.txt · Ultima modifica: 08/10/2008 alle 15:27 (16 anni fa) da Andrea Corradini
Strumenti Pagina
