A formal framework for heterogeneous systems semantics

• Didactic code
  • Unicode.agda
  • Mixfix.agda
  • Addition.agda
  • ListSize.agda
  • IfThenElse.agda
  • ListSugar.agda
  • Unif.agda
  • Associativity.agda
  • Irrelevance.agda
  • Commut.agda
  • Currying.agda
  • Tutorial.lagda
  • Unary.lagda
• Helpers
  • Helper.lagda
• Globally unique lists
  • ListConform.lagda
  • ListAssoc.lagda
  • ListUnique.lagda
• Event-based systems
  • SimplePDL.lagda
  • Petrinet.lagda
• Time
  • Instant.lagda
  • Interval.lagda
• CCSL
  • CCSL.lagda
  • CCSLIntegers.lagda
  • CCSLNaturals.lagda
• Refinement
  • Refinement.lagda
  • RefinementExample.lagda
  • CCSLRefinement.lagda