Labelled domains and automata with concurrency (Q1346626): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
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 |
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