Canonical finite state machines for distributed systems
type: Item
instance of: scholarly article
title: Canonical finite state machines for distributed systems
zbMATH Open document ID: 1186.68042
author: Robert M. Hierons
published in: Theoretical Computer Science
publication date: 2009-12-15T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5647939
zbMATH Keywords: finite state machine
zbMATH Keywords: equivalence
zbMATH Keywords: distributed test architecture
zbMATH Keywords: canonical
describes a project that uses: AsmL
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.09.039
OpenAlex ID: W2140903976
cites work: The synchronization problem in protocol testing and its complexity
cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004
cites work: On state reduction of incompletely specified finite state machines
cites work: On the testability of SDL specifications
cites work: Checking sequences for distributed test architectures
cites work: Q4045961
cites work: Q4142699
cites work: State Reduction in Incompletely Specified Finite-State Machines
cites work: Coordination algorithm for distributed testing
DOI: 10.1016/J.TCS.2009.09.039
description: scientific article; zbMATH DE number 5647939