Laws of Timed State Machines

Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Filho, Madiel Conserva, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 et al. (1 more author) (2023) Laws of Timed State Machines. The Computer Journal. bxad124. ISSN 1460-2067

Abstract

Metadata

Item Type: Article
Authors/Creators:
Dates:
  • Published: 22 December 2023
  • Accepted: 27 November 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/R025479/1
EPSRC
EP/M025756/1
Depositing User: Pure (York)
Date Deposited: 31 Jan 2024 13:30
Last Modified: 10 Dec 2024 00:22
Published Version: https://doi.org/10.1093/comjnl/bxad124
Status: Published
Refereed: Yes
Identification Number: 10.1093/comjnl/bxad124
Open Archives Initiative ID (OAI ID):

Download

Filename: bxad124.pdf

Description: bxad124

Licence: CC-BY 2.5

Export

Statistics