Matches in SemOpenAlex for { <https://semopenalex.org/work/W1420164130> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1420164130 endingPage "104" @default.
- W1420164130 startingPage "84" @default.
- W1420164130 abstract "Over the years, the Circus family of notation has been used for specification, programming, and verification by refinement in many applications. Circus Time, a timed variant of Circus, plays a key role in dealing with timed behaviours. While most of the semantic developments of Circus Time have tended to focus on the denotational and operational sides, the work on its algebraic semantics is frustrated by the fact that the parallel operators are difficult to be reduced to other primitives in both discrete-time and continuous-time CSP models. In this paper, we present an algebraic operational semantics (AOS) of the discrete-time CSP in Circus Time. The related AOS form is identified in the timed context, and a complete set of algebraic laws are provided to transform any finite Circus Time programs into the AOS form. The AOS provides a solution to sequentialise the parallel operators and is also the major step towards a fully algebraic semantics." @default.
- W1420164130 created "2016-06-24" @default.
- W1420164130 creator A5006626759 @default.
- W1420164130 creator A5024502122 @default.
- W1420164130 date "2015-01-01" @default.
- W1420164130 modified "2023-09-23" @default.
- W1420164130 title "Towards Algebraic Semantics of Circus Time" @default.
- W1420164130 cites W1483063212 @default.
- W1420164130 cites W1977116247 @default.
- W1420164130 cites W1998976523 @default.
- W1420164130 cites W2014505017 @default.
- W1420164130 cites W2014710412 @default.
- W1420164130 cites W2056823793 @default.
- W1420164130 cites W2077325003 @default.
- W1420164130 cites W2078065240 @default.
- W1420164130 cites W2080864228 @default.
- W1420164130 cites W2081399760 @default.
- W1420164130 cites W2128510433 @default.
- W1420164130 cites W2146991974 @default.
- W1420164130 cites W2149453296 @default.
- W1420164130 cites W22595608 @default.
- W1420164130 doi "https://doi.org/10.1007/978-3-319-14806-9_5" @default.
- W1420164130 hasPublicationYear "2015" @default.
- W1420164130 type Work @default.
- W1420164130 sameAs 1420164130 @default.
- W1420164130 citedByCount "0" @default.
- W1420164130 crossrefType "book-chapter" @default.
- W1420164130 hasAuthorship W1420164130A5006626759 @default.
- W1420164130 hasAuthorship W1420164130A5024502122 @default.
- W1420164130 hasConcept C134306372 @default.
- W1420164130 hasConcept C136119220 @default.
- W1420164130 hasConcept C184337299 @default.
- W1420164130 hasConcept C199360897 @default.
- W1420164130 hasConcept C202444582 @default.
- W1420164130 hasConcept C2779729104 @default.
- W1420164130 hasConcept C33923547 @default.
- W1420164130 hasConcept C41008148 @default.
- W1420164130 hasConcept C80444323 @default.
- W1420164130 hasConcept C9376300 @default.
- W1420164130 hasConceptScore W1420164130C134306372 @default.
- W1420164130 hasConceptScore W1420164130C136119220 @default.
- W1420164130 hasConceptScore W1420164130C184337299 @default.
- W1420164130 hasConceptScore W1420164130C199360897 @default.
- W1420164130 hasConceptScore W1420164130C202444582 @default.
- W1420164130 hasConceptScore W1420164130C2779729104 @default.
- W1420164130 hasConceptScore W1420164130C33923547 @default.
- W1420164130 hasConceptScore W1420164130C41008148 @default.
- W1420164130 hasConceptScore W1420164130C80444323 @default.
- W1420164130 hasConceptScore W1420164130C9376300 @default.
- W1420164130 hasLocation W14201641301 @default.
- W1420164130 hasOpenAccess W1420164130 @default.
- W1420164130 hasPrimaryLocation W14201641301 @default.
- W1420164130 hasRelatedWork W1483213041 @default.
- W1420164130 hasRelatedWork W1535840459 @default.
- W1420164130 hasRelatedWork W1545848507 @default.
- W1420164130 hasRelatedWork W1552204709 @default.
- W1420164130 hasRelatedWork W1587224678 @default.
- W1420164130 hasRelatedWork W1778728081 @default.
- W1420164130 hasRelatedWork W2002067075 @default.
- W1420164130 hasRelatedWork W2020116537 @default.
- W1420164130 hasRelatedWork W2734938181 @default.
- W1420164130 hasRelatedWork W27605384 @default.
- W1420164130 isParatext "false" @default.
- W1420164130 isRetracted "false" @default.
- W1420164130 magId "1420164130" @default.
- W1420164130 workType "book-chapter" @default.