A hierarchy of failures-based models: theory and application
type: Item
instance of: scholarly article
title: A hierarchy of failures-based models: theory and application
zbMATH Open document ID: 1078.68104
author: Christie Bolton
author: Gavin Lowe
published in: Theoretical Computer Science
publication date: 2005-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2136584
zbMATH Keywords: Process algebra
zbMATH Keywords: Semantic models
zbMATH Keywords: CSP
zbMATH Keywords: Stable failures
zbMATH Keywords: Automatic verification
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.004
OpenAlex ID: W2093917590
cites work: A singleton failures semantics for communicating sequential processes
cites work: A hierarchy of failures-based models
cites work: Q3336675
cites work: Extensional equivalences for transition systems
cites work: Testing equivalences for processes
cites work: Data Refinement
cites work: “Sometimes” and “not never” revisited
cites work: Q3777424
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: Specification-oriented semantics for communicating processes
cites work: Q3911403
cites work: Q2764107
cites work: Checking noninterference in timed CSP
cites work: The expressiveness of CSP with priority
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
DOI: 10.1016/J.TCS.2004.10.004
description: scientific article; zbMATH DE number 2136584