Synchronization paradigm for protocol testing under multiparty configuration
type: Item
instance of: scholarly article
title: Synchronization paradigm for protocol testing under multiparty configuration
zbMATH Open document ID: 0953.68008
DOI: 10.1016/S0898-1221(99)00093-0
author: Rong S. Lin
author: Maria C. Yuang
publication date: 2000-01-26T00:00:00Z
Mathematics Subject Classification ID: 68M12
zbMATH DE Number: 1393345
zbMATH Keywords: protocol testing
zbMATH Keywords: protocol specification
MaRDI profile type: Publication
cites work: Q5579037
cites work: The synchronization problem in protocol testing and its complexity
cites work: Q5606985
cites work: Q5685979
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: A note on two problems in connexion with graphs
cites work: Efficient Algorithms for Shortest Paths in Sparse Networks
cites work: Q5592246
cites work: Q5551191
cites work: Automata Studies. (AM-34)
cites work: Computing the optimal IO sequences of a protocol in polynomial time
full work available at URL: s0898-1221(99)00093-0
OpenAlex ID: W2095202636
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 1393345