Q3043807
type: Item
instance of: scholarly article
zbMATH Open document ID: 1073.68691
author: Robert Eschbach
publication date: 2004-08-06T00:00:00Z
full work available at URL: 22440109.htm
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2084333
MaRDI profile type: Publication
Recommended article: Verification of finite-state machines: a distributed approach
Recommended article: State machines and assertions: An integrated approach to modeling and verification of distributed systems
Recommended article: Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces
Recommended article: An automata-theoretic approach to the verification of distributed algorithms
Recommended article: Q5357714
Recommended article: Theorem Proving in Higher Order Logics
Recommended article: Using bisimulation proof techniques for the analysis of distributed abstract machines
Recommended article: Automatic verification for a class of distributed systems
description: scientific article