Labelled domains and automata with concurrency (Q1346626): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Manfred Droste / rank | |||
Property / author | |||
Property / author: Manfred Droste / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(94)00030-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075557235 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3766854 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal and Optimal Computations of Recursive Programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3805920 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From domains to automata with concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Labelled domains and automata with concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3785893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics on traces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4038692 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CONCURRENT AUTOMATA AND DOMAINS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4288284 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4867292 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3795195 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concurrent Machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concurrent transition systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositional relational semantics for indeterminate dataflow networks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connections between a concrete and an abstract model of concurrent systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4282582 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3030239 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:39, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Labelled domains and automata with concurrency |
scientific article |
Statements
Labelled domains and automata with concurrency (English)
0 references
6 April 1995
0 references
concurrent systems
0 references
automata with concurrency relations
0 references