mcrl2 201409.0-1ubuntu3 / usr / share / doc / mcrl2 / examples / academic

This file is indexed.

/usr/share/doc/mcrl2/examples/academic/ is in mcrl2 201409.0-1ubuntu3.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/mcrl2/examples/academic/abp/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/abp/abp.mcrl2 text/plain root:root 0o644 920 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 406 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_lost.mcf text/plain root:root 0o644 390 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_receive_d1.mcf text/plain root:root 0o644 182 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 211 bytes
/usr/share/doc/mcrl2/examples/academic/abp/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/abp/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/abp/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/abp/read_then_eventually_send.mcf text/plain root:root 0o644 465 bytes
/usr/share/doc/mcrl2/examples/academic/abp/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 428 bytes
/usr/share/doc/mcrl2/examples/academic/abp/run.py text/plain root:root 0o644 1.6 KB
/usr/share/doc/mcrl2/examples/academic/abp_bw/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/abp_bw/abp_bw.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 384 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_lost.mcf text/plain root:root 0o644 368 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_receive_d1.mcf text/plain root:root 0o644 160 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 189 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/read_then_eventually_send.mcf text/plain root:root 0o644 443 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 517 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/run.py text/plain root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/academic/allow/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/allow/allow.mcrl2 text/plain root:root 0o644 1.6 KB
/usr/share/doc/mcrl2/examples/academic/allow/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/allow/run.py text/plain root:root 0o644 574 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/abstraction.txt text/plain root:root 0o644 875 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/aggressive_abstraction.txt text/plain root:root 0o644 611 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number.mcf text/plain root:root 0o644 218 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/always_can_get_number.mcf text/plain root:root 0o644 218 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/run text/plain root:root 0o644 674 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/run.aggressive text/plain root:root 0o644 688 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/bakery.mcrl2 text/plain root:root 0o644 875 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating.mcf text/plain root:root 0o644 339 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/get_at_least_number_circulating.mcf text/plain root:root 0o644 356 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/run text/plain root:root 0o644 754 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/run.aggressive text/plain root:root 0o644 778 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion.mcf text/plain root:root 0o644 242 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/mutual_exclusion.mcf text/plain root:root 0o644 242 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/run text/plain root:root 0o644 653 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/run.aggressive text/plain root:root 0o644 675 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/no_deadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/run text/plain root:root 0o644 590 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/run.aggressive text/plain root:root 0o644 604 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter.mcf text/plain root:root 0o644 264 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/request_can_eventually_enter.mcf text/plain root:root 0o644 266 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/run text/plain root:root 0o644 728 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/run.aggressive text/plain root:root 0o644 742 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter.mcf text/plain root:root 0o644 273 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/request_must_eventually_enter.mcf text/plain root:root 0o644 273 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/run text/plain root:root 0o644 735 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/run.aggressive text/plain root:root 0o644 749 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/run.py text/plain root:root 0o644 1.1 KB
/usr/share/doc/mcrl2/examples/academic/bke/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bke/bke.mcrl2.gz application/gzip root:root 0o644 3.1 KB
/usr/share/doc/mcrl2/examples/academic/bke/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/bke/run.py text/plain root:root 0o644 399 bytes
/usr/share/doc/mcrl2/examples/academic/block/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/block/block.mcrl2 text/plain root:root 0o644 1.5 KB
/usr/share/doc/mcrl2/examples/academic/block/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/block/run.py text/plain root:root 0o644 574 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/cabp/cabp.mcrl2 text/plain root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 420 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_lost.mcf text/plain root:root 0o644 513 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_receive_d1.mcf text/plain root:root 0o644 182 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 214 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/no_duplication_of_messages.mcf text/plain root:root 0o644 216 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/no_generation_of_messages.mcf text/plain root:root 0o644 193 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/read_then_eventually_send.mcf text/plain root:root 0o644 468 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 434 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/run.py text/plain root:root 0o644 1.6 KB
/usr/share/doc/mcrl2/examples/academic/cellular_automata/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/cellular_automata/cellular_automata.mcrl2 text/plain root:root 0o644 2.3 KB
/usr/share/doc/mcrl2/examples/academic/cellular_automata/run.py text/plain root:root 0o644 87 bytes
/usr/share/doc/mcrl2/examples/academic/commprot/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/commprot/commprot.mcrl2.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/mcrl2/examples/academic/commprot/run.py text/plain root:root 0o644 200 bytes
/usr/share/doc/mcrl2/examples/academic/dining/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/dining/dining3.mcrl2 text/plain root:root 0o644 1012 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_cs.mcrl2 text/plain root:root 0o644 893 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_cs_seq.mcrl2 text/plain root:root 0o644 911 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_ns.mcrl2 text/plain root:root 0o644 732 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_ns_seq.mcrl2 text/plain root:root 0o644 751 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_schedule.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/academic/dining/dining3_schedule_seq.mcrl2 text/plain root:root 0o644 1.0 KB
/usr/share/doc/mcrl2/examples/academic/dining/dining3_seq.mcrl2 text/plain root:root 0o644 797 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining8.mcrl2 text/plain root:root 0o644 869 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining_10.mcrl2 text/plain root:root 0o644 1.1 KB
/usr/share/doc/mcrl2/examples/academic/dining/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/dining/nostarvation.mcf text/plain root:root 0o644 300 bytes
/usr/share/doc/mcrl2/examples/academic/dining/nostuffing.mcf text/plain root:root 0o644 204 bytes
/usr/share/doc/mcrl2/examples/academic/dining/run.py text/plain root:root 0o644 942 bytes
/usr/share/doc/mcrl2/examples/academic/food_distribution/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/food_distribution/food_package.mcrl2 text/plain root:root 0o644 3.9 KB
/usr/share/doc/mcrl2/examples/academic/food_distribution/run.py text/plain root:root 0o644 521 bytes
/usr/share/doc/mcrl2/examples/academic/food_distribution/sustained_delivery.mcf text/plain root:root 0o644 168 bytes
/usr/share/doc/mcrl2/examples/academic/goback/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/goback/goback.mcrl2 text/plain root:root 0o644 416 bytes
/usr/share/doc/mcrl2/examples/academic/goback/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/goback/run.py text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/leader/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/leader/leader.mcrl2 text/plain root:root 0o644 2.6 KB
/usr/share/doc/mcrl2/examples/academic/leader/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/leader/run.py text/plain root:root 0o644 714 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu.mcrl2 text/plain root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu1.mcf text/plain root:root 0o644 433 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu2.mcf text/plain root:root 0o644 294 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu3.mcf text/plain root:root 0o644 221 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu4.mcf text/plain root:root 0o644 288 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu5.mcf text/plain root:root 0o644 715 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu6.mcf text/plain root:root 0o644 716 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/run.py text/plain root:root 0o644 815 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 307 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_lost.mcf text/plain root:root 0o644 200 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_receive_dat1.mcf text/plain root:root 0o644 130 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 155 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/onebit.mcrl2 text/plain root:root 0o644 2.4 KB
/usr/share/doc/mcrl2/examples/academic/onebit/read_then_eventually_send.mcf text/plain root:root 0o644 456 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 443 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/run.py text/plain root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/academic/par/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/par/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/par/par.mcrl2 text/plain root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/academic/par/run.py text/plain root:root 0o644 286 bytes
/usr/share/doc/mcrl2/examples/academic/parallel/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/parallel/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/parallel/parallel.mcrl2 text/plain root:root 0o644 214 bytes
/usr/share/doc/mcrl2/examples/academic/parallel/run.py text/plain root:root 0o644 321 bytes
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/parallel_counting.mcf text/plain root:root 0o644 224 bytes
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/parallel_counting.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/academic/parallel_proc_with_global_var/run.py text/plain root:root 0o644 229 bytes
/usr/share/doc/mcrl2/examples/academic/producer_consumer/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/producer_consumer/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/producer_consumer/producer_consumer.mcrl2 text/plain root:root 0o644 554 bytes
/usr/share/doc/mcrl2/examples/academic/producer_consumer/run.py text/plain root:root 0o644 521 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/scheduler/infinitely_often_enabled_then_infinitely_often_taken_a.mcf text/plain root:root 0o644 240 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/run.py text/plain root:root 0o644 531 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/scheduler.mcrl2 text/plain root:root 0o644 1.1 KB
/usr/share/doc/mcrl2/examples/academic/swp/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 406 bytes
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_lost.mcf text/plain root:root 0o644 355 bytes
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_receive_d1.mcf text/plain root:root 0o644 182 bytes
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 211 bytes
/usr/share/doc/mcrl2/examples/academic/swp/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/swp/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/swp/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/swp/read_then_eventually_send.mcf text/plain root:root 0o644 465 bytes
/usr/share/doc/mcrl2/examples/academic/swp/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 516 bytes
/usr/share/doc/mcrl2/examples/academic/swp/run.py text/plain root:root 0o644 2.3 KB
/usr/share/doc/mcrl2/examples/academic/swp/swp_fgpbp.mcrl2 text/plain root:root 0o644 2.4 KB
/usr/share/doc/mcrl2/examples/academic/swp/swp_func.mcrl2 text/plain root:root 0o644 2.1 KB
/usr/share/doc/mcrl2/examples/academic/swp/swp_lists.mcrl2 text/plain root:root 0o644 2.6 KB
/usr/share/doc/mcrl2/examples/academic/swp/swp_with_tanenbaums_bug.mcrl2.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/mcrl2/examples/academic/trains/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/trains/infinitely_often_enabled_then_infinitely_often_taken_enter.mcf text/plain root:root 0o644 366 bytes
/usr/share/doc/mcrl2/examples/academic/trains/mutual_exclusion.mcf text/plain root:root 0o644 84 bytes
/usr/share/doc/mcrl2/examples/academic/trains/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/trains/run.py text/plain root:root 0o644 602 bytes
/usr/share/doc/mcrl2/examples/academic/trains/trains.mcrl2.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/mcrl2/examples/academic/tree/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/tree/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/tree/run.py text/plain root:root 0o644 598 bytes
/usr/share/doc/mcrl2/examples/academic/tree/tree.mcrl2 text/plain root:root 0o644 514 bytes

APT Browse - Built by Thomas Orozco.