A process algebraic view of input/output automata
type: Item
instance of: scholarly article
title: A process algebraic view of input/output automata
zbMATH Open document ID: 0874.68209
DOI: 10.1016/0304-3975(95)92307-J
author: Rocco De Nicola
author: Roberto Segala
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 985987
zbMATH Keywords: input/output automata
zbMATH Keywords: concurrent algorithms
MaRDI profile type: Publication
cites work: Process Algebra
cites work: Bisimulation can't be traced
cites work: Extensional equivalences for transition systems
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Q3738540
cites work: Q3997501
cites work: A calculus of total correctness for communicating processes
cites work: Q3777424
cites work: Receptive process theory
cites work: Q3992568
cites work: Q3657409
cites work: Quiescence, fairness, testing, and the notion of implementation
full work available at URL: 0304-3975(95)92307-j
OpenAlex ID: W1968150358
description: scientific article; zbMATH DE number 985987