The intuitionism behind statecharts steps

Lüttgen, G. and Mendler, M. (2002) The intuitionism behind statecharts steps. ACM Transactions on Computational Logic, 3 (1). pp. 1-41. ISSN 1529-3785

Abstract

Metadata

Authors/Creators:
  • Lüttgen, G.
  • Mendler, M.
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 13 Aug 2009 10:19
Last Modified: 13 Aug 2009 10:19
Published Version: http://dx.doi.org/10.1145/504077.504078
Status: Published
Publisher: ACM
Identification Number: https://doi.org/10.1145/504077.504078

Share / Export

Statistics