Generalised Reactive Processes in Isabelle/UTP

Foster, Simon David orcid.org/0000-0002-9889-9514 and Canham, Samuel James Generalised Reactive Processes in Isabelle/UTP. Working Paper. (Unpublished)

Abstract

Metadata

Authors/Creators:
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 06 Apr 2018 10:40
Last Modified: 16 Feb 2024 00:25
Status: Unpublished
Refereed: No

Download

Filename: UTP_Reactive.pdf

Description: UTP-Reactive

Export

Statistics