Compositional failure-based semantic models for basic LOTOS
type: Item
instance of: scholarly article
title: Compositional failure-based semantic models for basic LOTOS
zbMATH Open document ID: 0838.68076
DOI: 10.1007/BF01211218
author: Antti Valmari
author: Martti Tienari
published in: Formal Aspects of Computing
publication date: 1996-02-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 823620
zbMATH Keywords: failures equivalence
zbMATH Keywords: verification
zbMATH Keywords: semantic models
describes a project that uses: LOTOS
MaRDI profile type: Publication
cites work: Q4037092
cites work: A Theory of Communicating Sequential Processes
cites work: Q3680258
cites work: Q3348429
cites work: Testing equivalences for processes
cites work: Minimizing the number of transitions with respect to observation equivalence
cites work: Q4037089
cites work: Q3777424
cites work: CCS expressions, finite state processes, and three problems of equivalence
cites work: Q3992568
cites work: Specification-oriented semantics for communicating processes
cites work: The weakest deadlock-preserving congruence
full work available at URL: https://doi.org/10.1007/bf01211218
OpenAlex ID: W1994013545
description: scientific article; zbMATH DE number 823620