FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500211907> ?p ?o ?g. }

• W1500211907 endingPage "482" @default.
• W1500211907 startingPage "467" @default.
• W1500211907 abstract "We argue that there is a basic conflict between the incorporation of time and the level of abstraction in formal specification. This conflict is illustrated through the specification of a simple multimedia stream. We propose the principle of separation of timing concerns as a resolution of this conflict and present a dual language notation in order to realise this principle. This notation uses LOTOS to express system behaviour and real-time temporal logic to express timing properties." @default.
• W1500211907 created "2016-06-24" @default.
• W1500211907 creator A5011062278 @default.
• W1500211907 creator A5017804379 @default.
• W1500211907 creator A5024611696 @default.
• W1500211907 creator A5051415971 @default.
• W1500211907 date "1993-10-26" @default.
• W1500211907 modified "2023-09-28" @default.
• W1500211907 title "Time Versus Abstraction in Formal Description" @default.
• W1500211907 hasPublicationYear "1993" @default.
• W1500211907 type Work @default.
• W1500211907 sameAs 1500211907 @default.
• W1500211907 citedByCount "12" @default.
• W1500211907 crossrefType "proceedings-article" @default.
• W1500211907 hasAuthorship W1500211907A5011062278 @default.
• W1500211907 hasAuthorship W1500211907A5017804379 @default.
• W1500211907 hasAuthorship W1500211907A5024611696 @default.
• W1500211907 hasAuthorship W1500211907A5051415971 @default.
• W1500211907 hasConcept C111472728 @default.
• W1500211907 hasConcept C111498074 @default.
• W1500211907 hasConcept C116253237 @default.
• W1500211907 hasConcept C124304363 @default.
• W1500211907 hasConcept C138268822 @default.
• W1500211907 hasConcept C138885662 @default.
• W1500211907 hasConcept C146072743 @default.
• W1500211907 hasConcept C154945302 @default.
• W1500211907 hasConcept C17744445 @default.
• W1500211907 hasConcept C185954173 @default.
• W1500211907 hasConcept C195324797 @default.
• W1500211907 hasConcept C199360897 @default.
• W1500211907 hasConcept C199539241 @default.
• W1500211907 hasConcept C201677973 @default.
• W1500211907 hasConcept C21711469 @default.
• W1500211907 hasConcept C25016198 @default.
• W1500211907 hasConcept C2780586882 @default.
• W1500211907 hasConcept C2780980858 @default.
• W1500211907 hasConcept C33923547 @default.
• W1500211907 hasConcept C41008148 @default.
• W1500211907 hasConcept C41895202 @default.
• W1500211907 hasConcept C45357846 @default.
• W1500211907 hasConcept C4777664 @default.
• W1500211907 hasConcept C75606506 @default.
• W1500211907 hasConcept C80444323 @default.
• W1500211907 hasConcept C90069079 @default.
• W1500211907 hasConcept C94375191 @default.
• W1500211907 hasConceptScore W1500211907C111472728 @default.
• W1500211907 hasConceptScore W1500211907C111498074 @default.
• W1500211907 hasConceptScore W1500211907C116253237 @default.
• W1500211907 hasConceptScore W1500211907C124304363 @default.
• W1500211907 hasConceptScore W1500211907C138268822 @default.
• W1500211907 hasConceptScore W1500211907C138885662 @default.
• W1500211907 hasConceptScore W1500211907C146072743 @default.
• W1500211907 hasConceptScore W1500211907C154945302 @default.
• W1500211907 hasConceptScore W1500211907C17744445 @default.
• W1500211907 hasConceptScore W1500211907C185954173 @default.
• W1500211907 hasConceptScore W1500211907C195324797 @default.
• W1500211907 hasConceptScore W1500211907C199360897 @default.
• W1500211907 hasConceptScore W1500211907C199539241 @default.
• W1500211907 hasConceptScore W1500211907C201677973 @default.
• W1500211907 hasConceptScore W1500211907C21711469 @default.
• W1500211907 hasConceptScore W1500211907C25016198 @default.
• W1500211907 hasConceptScore W1500211907C2780586882 @default.
• W1500211907 hasConceptScore W1500211907C2780980858 @default.
• W1500211907 hasConceptScore W1500211907C33923547 @default.
• W1500211907 hasConceptScore W1500211907C41008148 @default.
• W1500211907 hasConceptScore W1500211907C41895202 @default.
• W1500211907 hasConceptScore W1500211907C45357846 @default.
• W1500211907 hasConceptScore W1500211907C4777664 @default.
• W1500211907 hasConceptScore W1500211907C75606506 @default.
• W1500211907 hasConceptScore W1500211907C80444323 @default.
• W1500211907 hasConceptScore W1500211907C90069079 @default.
• W1500211907 hasConceptScore W1500211907C94375191 @default.
• W1500211907 hasLocation W15002119071 @default.
• W1500211907 hasOpenAccess W1500211907 @default.
• W1500211907 hasPrimaryLocation W15002119071 @default.
• W1500211907 hasRelatedWork W1503973138 @default.
• W1500211907 hasRelatedWork W1506588809 @default.
• W1500211907 hasRelatedWork W1514802904 @default.
• W1500211907 hasRelatedWork W1555255704 @default.
• W1500211907 hasRelatedWork W1562467008 @default.
• W1500211907 hasRelatedWork W1587275578 @default.
• W1500211907 hasRelatedWork W1596400039 @default.
• W1500211907 hasRelatedWork W178685904 @default.
• W1500211907 hasRelatedWork W1885037678 @default.
• W1500211907 hasRelatedWork W2015688007 @default.
• W1500211907 hasRelatedWork W2023808162 @default.
• W1500211907 hasRelatedWork W2026629052 @default.
• W1500211907 hasRelatedWork W2054609588 @default.
• W1500211907 hasRelatedWork W2056359803 @default.
• W1500211907 hasRelatedWork W2062934926 @default.
• W1500211907 hasRelatedWork W2082509493 @default.
• W1500211907 hasRelatedWork W2105429231 @default.
• W1500211907 hasRelatedWork W2121372686 @default.
• W1500211907 hasRelatedWork W3144368627 @default.
• W1500211907 hasRelatedWork W1556165958 @default.
• W1500211907 isParatext "false" @default.
• W1500211907 isRetracted "false" @default.
• W1500211907 magId "1500211907" @default.

• next