Timed circus : Timed CSP with the miracle

Wei, Kun, Woodcock, Jim and Burns, Alan orcid.org/0000-0001-5621-8816 (2011) Timed circus : Timed CSP with the miracle. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 27-29 Apr 2011 IEEE Computer Society Press , GBR , pp. 55-64.

Abstract

Metadata

Authors/Creators:
Keywords: Computer Networks and Communications,Hardware and Architecture,Control and Systems Engineering
Dates:
  • Published: 25 July 2011
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
The University of York
Depositing User: Pure (York)
Date Deposited: 03 Feb 2016 12:14
Last Modified: 25 Sep 2021 23:22
Published Version: https://doi.org/10.1109/ICECCS.2011.13
Status: Published
Publisher: IEEE Computer Society Press
Refereed: No
Identification Number: https://doi.org/10.1109/ICECCS.2011.13
Related URLs:

Download

Filename: timed_circus.pdf

Description: timed-circus

Share / Export

Statistics