Finite and infinite implementation of transition systems
type: Item
instance of: scholarly article
title: Finite and infinite implementation of transition systems
zbMATH Open document ID: 1250.68209
author: W. H. Hesselink
author: Gerard R. Renardel de Lavalette
published in: Theoretical Computer Science
publication date: 2012-11-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6103617
zbMATH Keywords: transition system
zbMATH Keywords: implementation
zbMATH Keywords: stuttering
zbMATH Keywords: König's lemma
zbMATH Keywords: model checking
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.08.014
OpenAlex ID: W2003749264
cites work: The existence of refinement mappings
cites work: Eternity variables to prove simulation of specifications
cites work: Forward and backward simulations. I. Untimed Systems
DOI: 10.1016/J.TCS.2012.08.014
description: scientific article; zbMATH DE number 6103617