Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997013119> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1997013119 endingPage "139" @default.
- W1997013119 startingPage "125" @default.
- W1997013119 abstract "Presence and absence of signals inside a reaction are inherent to the synchronous paradigm. Clocks are sets of instants (indicating for example when a signal is present) mainly used to describe the control part of data-flow specifications. The language C Download : Download full-size image we define here expresses relations between clocks. Such relations can describe the combinational part of specifications, as well as particular instantaneous safety properties. We give a decision procedure for C Download : Download full-size image and apply it to the model-checking of Signal programs abstracted from their state handling part. Thanks to the use of clocks, absence is not explicitly encoded by a special value." @default.
- W1997013119 created "2016-06-24" @default.
- W1997013119 creator A5045320227 @default.
- W1997013119 creator A5067270597 @default.
- W1997013119 date "2002-07-01" @default.
- W1997013119 modified "2023-09-26" @default.
- W1997013119 title "A Decidable Clock Language for Synchronous Specifications" @default.
- W1997013119 cites W1533781519 @default.
- W1997013119 cites W1535550067 @default.
- W1997013119 cites W1591643794 @default.
- W1997013119 cites W1605081346 @default.
- W1997013119 cites W1809672455 @default.
- W1997013119 cites W1875492031 @default.
- W1997013119 cites W2035115145 @default.
- W1997013119 cites W2100500718 @default.
- W1997013119 cites W2125415493 @default.
- W1997013119 doi "https://doi.org/10.1016/s1571-0661(05)80447-5" @default.
- W1997013119 hasPublicationYear "2002" @default.
- W1997013119 type Work @default.
- W1997013119 sameAs 1997013119 @default.
- W1997013119 citedByCount "1" @default.
- W1997013119 crossrefType "journal-article" @default.
- W1997013119 hasAuthorship W1997013119A5045320227 @default.
- W1997013119 hasAuthorship W1997013119A5067270597 @default.
- W1997013119 hasBestOaLocation W19970131191 @default.
- W1997013119 hasConcept C110251889 @default.
- W1997013119 hasConcept C111919701 @default.
- W1997013119 hasConcept C11413529 @default.
- W1997013119 hasConcept C115961682 @default.
- W1997013119 hasConcept C153269930 @default.
- W1997013119 hasConcept C159985019 @default.
- W1997013119 hasConcept C160191386 @default.
- W1997013119 hasConcept C192562407 @default.
- W1997013119 hasConcept C199360897 @default.
- W1997013119 hasConcept C201677973 @default.
- W1997013119 hasConcept C204323151 @default.
- W1997013119 hasConcept C2779843651 @default.
- W1997013119 hasConcept C2780154274 @default.
- W1997013119 hasConcept C31972630 @default.
- W1997013119 hasConcept C41008148 @default.
- W1997013119 hasConcept C48103436 @default.
- W1997013119 hasConcept C79403827 @default.
- W1997013119 hasConcept C80444323 @default.
- W1997013119 hasConceptScore W1997013119C110251889 @default.
- W1997013119 hasConceptScore W1997013119C111919701 @default.
- W1997013119 hasConceptScore W1997013119C11413529 @default.
- W1997013119 hasConceptScore W1997013119C115961682 @default.
- W1997013119 hasConceptScore W1997013119C153269930 @default.
- W1997013119 hasConceptScore W1997013119C159985019 @default.
- W1997013119 hasConceptScore W1997013119C160191386 @default.
- W1997013119 hasConceptScore W1997013119C192562407 @default.
- W1997013119 hasConceptScore W1997013119C199360897 @default.
- W1997013119 hasConceptScore W1997013119C201677973 @default.
- W1997013119 hasConceptScore W1997013119C204323151 @default.
- W1997013119 hasConceptScore W1997013119C2779843651 @default.
- W1997013119 hasConceptScore W1997013119C2780154274 @default.
- W1997013119 hasConceptScore W1997013119C31972630 @default.
- W1997013119 hasConceptScore W1997013119C41008148 @default.
- W1997013119 hasConceptScore W1997013119C48103436 @default.
- W1997013119 hasConceptScore W1997013119C79403827 @default.
- W1997013119 hasConceptScore W1997013119C80444323 @default.
- W1997013119 hasIssue "5" @default.
- W1997013119 hasLocation W19970131191 @default.
- W1997013119 hasOpenAccess W1997013119 @default.
- W1997013119 hasPrimaryLocation W19970131191 @default.
- W1997013119 hasRelatedWork W1984757784 @default.
- W1997013119 hasRelatedWork W1997013119 @default.
- W1997013119 hasRelatedWork W2012554358 @default.
- W1997013119 hasRelatedWork W2109507516 @default.
- W1997013119 hasRelatedWork W2151898527 @default.
- W1997013119 hasRelatedWork W2257183258 @default.
- W1997013119 hasRelatedWork W4229928981 @default.
- W1997013119 hasRelatedWork W4245713008 @default.
- W1997013119 hasRelatedWork W4251805752 @default.
- W1997013119 hasRelatedWork W2187562905 @default.
- W1997013119 hasVolume "65" @default.
- W1997013119 isParatext "false" @default.
- W1997013119 isRetracted "false" @default.
- W1997013119 magId "1997013119" @default.
- W1997013119 workType "article" @default.