Matches in SemOpenAlex for { <https://semopenalex.org/work/W70809905> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W70809905 abstract "The definition of the Formal Description Technique Lotos (ISO standard 8807) is currently under revision. This paper proposes a gate typing extension to Lotos in order to improve the current situation where gates are completely typeless. This extension is simple and fully upward compatible. It is shown to increase both the reliability and modularity of formal descriptions. Moreover, gate type-checking can be performed statically and does not require any change in the dynamic semantics of Lotos." @default.
- W70809905 created "2016-06-24" @default.
- W70809905 creator A5022400989 @default.
- W70809905 date "1996-01-01" @default.
- W70809905 modified "2023-09-23" @default.
- W70809905 title "On the introduction of gate typing in E-LOTOS" @default.
- W70809905 cites W2085912345 @default.
- W70809905 cites W2121372686 @default.
- W70809905 doi "https://doi.org/10.1007/978-0-387-34892-6_18" @default.
- W70809905 hasPublicationYear "1996" @default.
- W70809905 type Work @default.
- W70809905 sameAs 70809905 @default.
- W70809905 citedByCount "6" @default.
- W70809905 countsByYear W708099052015 @default.
- W70809905 countsByYear W708099052017 @default.
- W70809905 crossrefType "book-chapter" @default.
- W70809905 hasAuthorship W70809905A5022400989 @default.
- W70809905 hasConcept C111472728 @default.
- W70809905 hasConcept C138885662 @default.
- W70809905 hasConcept C184337299 @default.
- W70809905 hasConcept C199360897 @default.
- W70809905 hasConcept C2778029271 @default.
- W70809905 hasConcept C2779478453 @default.
- W70809905 hasConcept C2780586882 @default.
- W70809905 hasConcept C41008148 @default.
- W70809905 hasConcept C54355233 @default.
- W70809905 hasConcept C86803240 @default.
- W70809905 hasConceptScore W70809905C111472728 @default.
- W70809905 hasConceptScore W70809905C138885662 @default.
- W70809905 hasConceptScore W70809905C184337299 @default.
- W70809905 hasConceptScore W70809905C199360897 @default.
- W70809905 hasConceptScore W70809905C2778029271 @default.
- W70809905 hasConceptScore W70809905C2779478453 @default.
- W70809905 hasConceptScore W70809905C2780586882 @default.
- W70809905 hasConceptScore W70809905C41008148 @default.
- W70809905 hasConceptScore W70809905C54355233 @default.
- W70809905 hasConceptScore W70809905C86803240 @default.
- W70809905 hasLocation W708099051 @default.
- W70809905 hasOpenAccess W70809905 @default.
- W70809905 hasPrimaryLocation W708099051 @default.
- W70809905 hasRelatedWork W1496543654 @default.
- W70809905 hasRelatedWork W1497392658 @default.
- W70809905 hasRelatedWork W1513124435 @default.
- W70809905 hasRelatedWork W1514630934 @default.
- W70809905 hasRelatedWork W1563914359 @default.
- W70809905 hasRelatedWork W1966035134 @default.
- W70809905 hasRelatedWork W2031900372 @default.
- W70809905 hasRelatedWork W2034962526 @default.
- W70809905 hasRelatedWork W2059701569 @default.
- W70809905 hasRelatedWork W2128447142 @default.
- W70809905 hasRelatedWork W2131641191 @default.
- W70809905 hasRelatedWork W2270135338 @default.
- W70809905 hasRelatedWork W2379246649 @default.
- W70809905 hasRelatedWork W2379358130 @default.
- W70809905 hasRelatedWork W2383684096 @default.
- W70809905 hasRelatedWork W2388085714 @default.
- W70809905 hasRelatedWork W2394469139 @default.
- W70809905 hasRelatedWork W2587373766 @default.
- W70809905 hasRelatedWork W2757839910 @default.
- W70809905 hasRelatedWork W43314487 @default.
- W70809905 isParatext "false" @default.
- W70809905 isRetracted "false" @default.
- W70809905 magId "70809905" @default.
- W70809905 workType "book-chapter" @default.