Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567258120> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1567258120 abstract "A time-dependent protocol is specified within Circal, a mature process algebra which has been used extensively for the description and verification of concurrent systems. Although Circal is a discret formalism, it permits the analysis of interesting aspects of timed systems. We utilise the Circal System, a mechanisation of Circal, to automatically verify the correctness of an audio control protocol." @default.
- W1567258120 created "2016-06-24" @default.
- W1567258120 creator A5005802077 @default.
- W1567258120 creator A5020718618 @default.
- W1567258120 creator A5048782242 @default.
- W1567258120 creator A5050281282 @default.
- W1567258120 date "1997-01-01" @default.
- W1567258120 modified "2023-09-27" @default.
- W1567258120 title "Modelling a time-dependent protocol using the Circal process algebra" @default.
- W1567258120 cites W2036945707 @default.
- W1567258120 cites W2101508170 @default.
- W1567258120 cites W2106525646 @default.
- W1567258120 doi "https://doi.org/10.1007/bfb0014721" @default.
- W1567258120 hasPublicationYear "1997" @default.
- W1567258120 type Work @default.
- W1567258120 sameAs 1567258120 @default.
- W1567258120 citedByCount "8" @default.
- W1567258120 crossrefType "book-chapter" @default.
- W1567258120 hasAuthorship W1567258120A5005802077 @default.
- W1567258120 hasAuthorship W1567258120A5020718618 @default.
- W1567258120 hasAuthorship W1567258120A5048782242 @default.
- W1567258120 hasAuthorship W1567258120A5050281282 @default.
- W1567258120 hasConcept C11413529 @default.
- W1567258120 hasConcept C136119220 @default.
- W1567258120 hasConcept C142362112 @default.
- W1567258120 hasConcept C142724271 @default.
- W1567258120 hasConcept C153349607 @default.
- W1567258120 hasConcept C161771561 @default.
- W1567258120 hasConcept C199360897 @default.
- W1567258120 hasConcept C202444582 @default.
- W1567258120 hasConcept C204787440 @default.
- W1567258120 hasConcept C2780385302 @default.
- W1567258120 hasConcept C33923547 @default.
- W1567258120 hasConcept C41008148 @default.
- W1567258120 hasConcept C55439883 @default.
- W1567258120 hasConcept C558565934 @default.
- W1567258120 hasConcept C71924100 @default.
- W1567258120 hasConcept C73301696 @default.
- W1567258120 hasConcept C80444323 @default.
- W1567258120 hasConcept C98045186 @default.
- W1567258120 hasConceptScore W1567258120C11413529 @default.
- W1567258120 hasConceptScore W1567258120C136119220 @default.
- W1567258120 hasConceptScore W1567258120C142362112 @default.
- W1567258120 hasConceptScore W1567258120C142724271 @default.
- W1567258120 hasConceptScore W1567258120C153349607 @default.
- W1567258120 hasConceptScore W1567258120C161771561 @default.
- W1567258120 hasConceptScore W1567258120C199360897 @default.
- W1567258120 hasConceptScore W1567258120C202444582 @default.
- W1567258120 hasConceptScore W1567258120C204787440 @default.
- W1567258120 hasConceptScore W1567258120C2780385302 @default.
- W1567258120 hasConceptScore W1567258120C33923547 @default.
- W1567258120 hasConceptScore W1567258120C41008148 @default.
- W1567258120 hasConceptScore W1567258120C55439883 @default.
- W1567258120 hasConceptScore W1567258120C558565934 @default.
- W1567258120 hasConceptScore W1567258120C71924100 @default.
- W1567258120 hasConceptScore W1567258120C73301696 @default.
- W1567258120 hasConceptScore W1567258120C80444323 @default.
- W1567258120 hasConceptScore W1567258120C98045186 @default.
- W1567258120 hasLocation W15672581201 @default.
- W1567258120 hasOpenAccess W1567258120 @default.
- W1567258120 hasPrimaryLocation W15672581201 @default.
- W1567258120 hasRelatedWork W132127320 @default.
- W1567258120 hasRelatedWork W1503973138 @default.
- W1567258120 hasRelatedWork W1578754560 @default.
- W1567258120 hasRelatedWork W1596400039 @default.
- W1567258120 hasRelatedWork W1788688131 @default.
- W1567258120 hasRelatedWork W1905278713 @default.
- W1567258120 hasRelatedWork W1971445875 @default.
- W1567258120 hasRelatedWork W2010339903 @default.
- W1567258120 hasRelatedWork W2085105967 @default.
- W1567258120 hasRelatedWork W2103882301 @default.
- W1567258120 hasRelatedWork W2114162415 @default.
- W1567258120 hasRelatedWork W2121372686 @default.
- W1567258120 hasRelatedWork W2127133644 @default.
- W1567258120 hasRelatedWork W2131326529 @default.
- W1567258120 hasRelatedWork W2135012291 @default.
- W1567258120 hasRelatedWork W2141648577 @default.
- W1567258120 hasRelatedWork W2162032875 @default.
- W1567258120 hasRelatedWork W3144368627 @default.
- W1567258120 hasRelatedWork W35655637 @default.
- W1567258120 hasRelatedWork W766418030 @default.
- W1567258120 isParatext "false" @default.
- W1567258120 isRetracted "false" @default.
- W1567258120 magId "1567258120" @default.
- W1567258120 workType "book-chapter" @default.