Labelled domains and automata with concurrency
type: Item
instance of: scholarly article
title: Labelled domains and automata with concurrency
zbMATH Open document ID: 0829.68087
DOI: 10.1016/0304-3975(94)00030-1
author: Felipe Bracho
author: Manfred Droste
published in: Theoretical Computer Science
publication date: 1995-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 741090
zbMATH Keywords: concurrent systems
zbMATH Keywords: automata with concurrency relations
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)00030-1
OpenAlex ID: W2075557235
cites work: Q3766854
cites work: Minimal and Optimal Computations of Recursive Programs
cites work: Q3805920
cites work: From domains to automata with concurrency
cites work: Q3785893
cites work: Combinatorics on traces
cites work: Q4038692
cites work: CONCURRENT AUTOMATA AND DOMAINS
cites work: Q4288284
cites work: Communicating sequential processes
cites work: Q4867292
cites work: Q3922646
cites work: A calculus of communicating systems
cites work: Q3795195
cites work: Concurrent Machines
cites work: Concurrent transition systems
cites work: Compositional relational semantics for indeterminate dataflow networks
cites work: Connections between a concrete and an abstract model of concurrent systems
cites work: Q4282582
cites work: Q3030239
description: scientific article; zbMATH DE number 741090