{"size": 818, "ext": "scrbl", "max_stars_repo_path": "dissertation/justification.scrbl", "max_stars_repo_name": "florence/esterel-calculus", "max_stars_repo_stars_event_min_datetime": "2020-04-16T10:58:53.000Z", "max_stars_repo_stars_event_max_datetime": "2020-07-01T03:59:31.000Z", "max_issues_repo_path": "dissertation/justification.scrbl", "max_issues_repo_name": "florence/esterel-calculus", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "dissertation/justification.scrbl", "max_forks_repo_name": "florence/esterel-calculus", "max_forks_repo_forks_event_min_datetime": "2020-04-15T20:02:49.000Z", "max_forks_repo_forks_event_max_datetime": "2020-04-15T20:02:49.000Z"}
{"max_stars_count": 3, "max_issues_count": null, "max_forks_count": 1, "avg_line_length": 38.9523809524, "max_line_length": 71, "alphanum_fraction": 0.7909535452}
#lang scribble/book

@[require "lib/util.rkt"]

@title[#:style paper-title-style #:tag "just"]{Justifying the Calculus}

The five properties I promise the Calculus for Esterel would
have are: Syntactic, Local, Consistent, Sound, and Adequate.
This section justifies that the calculus has each of these
properties. This section relies heavily on the background
given in @secref["background-circuits"], as well as the
descriptions of the properties given in @secref["intro"].


@include-section["justification/syntactic.scrbl"]
@include-section["justification/local.scrbl"]
@include-section["justification/consistent.scrbl"]
@include-section["justification/setup.scrbl"]
@include-section["justification/soundness.scrbl"]
@include-section["justification/adequacy.scrbl"]
@;@include-section["justification/together.scrbl"]