Concurrency in synchronous systems (Q2505637): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: LUSTRE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Esterel / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3184710042 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositionality in dataflow synchronous languages: Specification and distributed code generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Esterel synchronous programming language: Design, semantics, implementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic Synthesis for Asynchronous Controllers and Interfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4284985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Statecharts: a visual formalism for complex systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4371835 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof of the Kahn principle for input/output automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concurrency in synchronous systems / rank
 
Normal rank

Latest revision as of 20:53, 24 June 2024

scientific article
Language Label Description Also known as
English
Concurrency in synchronous systems
scientific article

    Statements

    Concurrency in synchronous systems (English)
    0 references
    0 references
    0 references
    0 references
    28 September 2006
    0 references
    0 references
    synchronous
    0 references
    distribution
    0 references
    desynchronization
    0 references
    globally asynchronous locally synchronous
    0 references
    concurrency
    0 references
    trace theory
    0 references
    0 references
    0 references
    0 references