Matches in SemOpenAlex for { <https://semopenalex.org/work/W15609171> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W15609171 abstract "CHARACTERISINGTHESTRUCTUREOFSIMULATIONMODELSINCCSG. Birtwistle1, R. Po oley2, andC. Tofts31Department ofComputer Science, University of Calgary,2Department ofComputer Science, University ofEdinburgh,3Department ofComputer Science, University ofSwanseaOctob er4 1993AbstractWe describ e how to apply the to ols and techniques of pro cess algebra toexplore and verify the structure of simulation mo dels.Pro cess algebras areconciseand preciseob ject-orientednotationsin whichto expressmo delstructureandcomp onentinteractions.Wedemonstratehowtosp ecifythe structure and basic synchronisation s of simulationmo dels using Mil-ner's CCS (Calculusof CommunicatingSystems, see [14]) notation, andhowtotestfortheconsequencesofasp eci cationusingmo dal-calculus [24].In this way we op en up the p ossibili ty of verifying from itsstatic mo del description that a simulationmo del has certain basic desir-able prop erties (is deadlo ck and livelo ck free and has appropriate safety,liveness and fairness characteristics [13]). Adopting these techniques frompro cess algebra b oth makes mo dels more reliable and saves a considerableamount of debugging time.Transactions of The So ciety for Computer Simulation, 10(3), Octob er 193, 205-2361" @default.
- W15609171 created "2016-06-24" @default.
- W15609171 creator A5009266169 @default.
- W15609171 creator A5066372559 @default.
- W15609171 creator A5082048516 @default.
- W15609171 date "1993-10-01" @default.
- W15609171 modified "2023-09-23" @default.
- W15609171 title "CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS" @default.
- W15609171 cites W1485090468 @default.
- W15609171 cites W1501745438 @default.
- W15609171 cites W1503973138 @default.
- W15609171 cites W1532019092 @default.
- W15609171 cites W1534508664 @default.
- W15609171 cites W2013672985 @default.
- W15609171 cites W2136920408 @default.
- W15609171 cites W2224048463 @default.
- W15609171 doi "https://doi.org/10.11575/prism/30377" @default.
- W15609171 hasPublicationYear "1993" @default.
- W15609171 type Work @default.
- W15609171 sameAs 15609171 @default.
- W15609171 citedByCount "6" @default.
- W15609171 crossrefType "journal-article" @default.
- W15609171 hasAuthorship W15609171A5009266169 @default.
- W15609171 hasAuthorship W15609171A5066372559 @default.
- W15609171 hasAuthorship W15609171A5082048516 @default.
- W15609171 hasConcept C11413529 @default.
- W15609171 hasConcept C136119220 @default.
- W15609171 hasConcept C15569618 @default.
- W15609171 hasConcept C168065819 @default.
- W15609171 hasConcept C199360897 @default.
- W15609171 hasConcept C202444582 @default.
- W15609171 hasConcept C33923547 @default.
- W15609171 hasConcept C41008148 @default.
- W15609171 hasConcept C45357846 @default.
- W15609171 hasConcept C80444323 @default.
- W15609171 hasConcept C94375191 @default.
- W15609171 hasConceptScore W15609171C11413529 @default.
- W15609171 hasConceptScore W15609171C136119220 @default.
- W15609171 hasConceptScore W15609171C15569618 @default.
- W15609171 hasConceptScore W15609171C168065819 @default.
- W15609171 hasConceptScore W15609171C199360897 @default.
- W15609171 hasConceptScore W15609171C202444582 @default.
- W15609171 hasConceptScore W15609171C33923547 @default.
- W15609171 hasConceptScore W15609171C41008148 @default.
- W15609171 hasConceptScore W15609171C45357846 @default.
- W15609171 hasConceptScore W15609171C80444323 @default.
- W15609171 hasConceptScore W15609171C94375191 @default.
- W15609171 hasLocation W156091711 @default.
- W15609171 hasOpenAccess W15609171 @default.
- W15609171 hasPrimaryLocation W156091711 @default.
- W15609171 hasRelatedWork W1001885046 @default.
- W15609171 hasRelatedWork W1489779423 @default.
- W15609171 hasRelatedWork W1503973138 @default.
- W15609171 hasRelatedWork W1564995763 @default.
- W15609171 hasRelatedWork W1591963066 @default.
- W15609171 hasRelatedWork W1968007895 @default.
- W15609171 hasRelatedWork W2001748564 @default.
- W15609171 hasRelatedWork W2005518825 @default.
- W15609171 hasRelatedWork W2067081974 @default.
- W15609171 hasRelatedWork W2093419411 @default.
- W15609171 hasRelatedWork W2094000038 @default.
- W15609171 hasRelatedWork W2096303019 @default.
- W15609171 hasRelatedWork W2096369043 @default.
- W15609171 hasRelatedWork W2110298093 @default.
- W15609171 hasRelatedWork W2134678163 @default.
- W15609171 hasRelatedWork W2134964672 @default.
- W15609171 hasRelatedWork W2136326369 @default.
- W15609171 hasRelatedWork W2168925707 @default.
- W15609171 hasRelatedWork W2573727715 @default.
- W15609171 hasRelatedWork W2915029105 @default.
- W15609171 isParatext "false" @default.
- W15609171 isRetracted "false" @default.
- W15609171 magId "15609171" @default.
- W15609171 workType "article" @default.