Synchronous structures (Q2500524): Difference between revisions

From MaRDI portal
← Older edit
‎Changed an Item
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎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 / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.ic.2001.05.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2912169573 / 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: Synchronous programming with events and relations: The SIGNAL language and its semantics / 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: Clocks in dataflow languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4284985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4270076 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986 / rank
 
Normal rank

Latest revision as of 19:21, 24 June 2024

scientific article
Language Label Description Also known as
English
Synchronous structures
scientific article

    Statements

    title
    Synchronous structures (English)
    0 references
    publication date
    17 August 2006
    0 references
    zbMATH Keywords
    preorder semantics
    0 references
    reactive system
    0 references
    synchronous programming
    0 references
    author
    David E. Nowak
    0 references
    describes a project that uses
    Coq
    0 references
    SIGNAL
    0 references
    LUSTRE
    0 references
    Esterel
    0 references

    Identifiers

    zbMATH DE Number
    5047507
    0 references
    OpenAlex ID
    W2912169573
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2500524&oldid=34886207"
    Powered by MediaWiki