UTP-Reactive

UTP theory of reactive processes

Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
.github/workflows		.github/workflows
LICENSE		LICENSE
README.md		README.md
ROOT		ROOT
utp_rea_cond.thy		utp_rea_cond.thy
utp_rea_core.thy		utp_rea_core.thy
utp_rea_event.thy		utp_rea_event.thy
utp_rea_healths.thy		utp_rea_healths.thy
utp_rea_parallel.thy		utp_rea_parallel.thy
utp_rea_prog.thy		utp_rea_prog.thy
utp_rea_rel.thy		utp_rea_rel.thy
utp_rea_wp.thy		utp_rea_wp.thy
utp_reactive.thy		utp_reactive.thy

Provide feedback