Skip to content
Permalink
Browse files

Merge pull request #158 from input-output-hk/improvement/communicatio…

…n-revision

Overhaul the communication-related code
  • Loading branch information...
jeltsch committed Aug 13, 2019
2 parents 2e14363 + f5a513a commit d15145135464525d174a76fdc0a7006cece6a048
Showing with 336 additions and 140 deletions.
  1. +302 −110 Isabelle/Chi_Calculus/Communication.thy
  2. +4 −0 Isabelle/Chi_Calculus/Processes.thy
  3. +30 −30 Isabelle/Chi_Calculus_Examples/Diamond.thy

0 comments on commit d151451

Please sign in to comment.
You can’t perform that action at this time.