LOTOS extended with probabilistic behaviours
type: Item
instance of: scholarly article
title: LOTOS extended with probabilistic behaviours
zbMATH Open document ID: 0774.68038
DOI: 10.1007/BF01211557
author: Carlos Miguel
author: Leon Vidaller
author: Ángel Nepomuceno-Fernández
published in: Formal Aspects of Computing
publication date: 1993-11-11T00:00:00Z
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 404763
zbMATH Keywords: non-determinism
zbMATH Keywords: process algebras
zbMATH Keywords: concurrent systems
zbMATH Keywords: LOTOS
describes a project that uses: LOTOS
MaRDI profile type: Publication
cites work: Algebra of communicating processes with abstraction
cites work: Q3341871
cites work: Q3997501
cites work: Q3777424
cites work: Bisimulation through probabilistic testing
cites work: CIRCAL and the representation of communication, concurrency, and time
cites work: Q3992568
cites work: Q3740206
cites work: Q5585825
cites work: Q3694687
cites work: TIC: a tImed calculus
cites work: Testing equivalences for processes
full work available at URL: https://doi.org/10.1007/bf01211557
OpenAlex ID: W2011771887
description: scientific article; zbMATH DE number 404763