Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156507097> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2156507097 abstract "We introduce a slight modification of the usual operational semantics for LOTOS based on preserving history information. We then show how we can use the history information in each state to define state-oriented properties and features. By means of an example we show how these properties and features can be used to enhance the usual simulation methods for LOTOS specifications. An implementation is then sketched and some extensions are suggested." @default.
- W2156507097 created "2016-06-24" @default.
- W2156507097 creator A5010115311 @default.
- W2156507097 creator A5032839452 @default.
- W2156507097 creator A5040236374 @default.
- W2156507097 creator A5077648412 @default.
- W2156507097 creator A5083657160 @default.
- W2156507097 date "1993-01-01" @default.
- W2156507097 modified "2023-10-01" @default.
- W2156507097 title "Process instances in LOTOS simulation" @default.
- W2156507097 cites W133701161 @default.
- W2156507097 cites W4300128858 @default.
- W2156507097 doi "https://doi.org/10.1007/bfb0024665" @default.
- W2156507097 hasPublicationYear "1993" @default.
- W2156507097 type Work @default.
- W2156507097 sameAs 2156507097 @default.
- W2156507097 citedByCount "0" @default.
- W2156507097 crossrefType "book-chapter" @default.
- W2156507097 hasAuthorship W2156507097A5010115311 @default.
- W2156507097 hasAuthorship W2156507097A5032839452 @default.
- W2156507097 hasAuthorship W2156507097A5040236374 @default.
- W2156507097 hasAuthorship W2156507097A5077648412 @default.
- W2156507097 hasAuthorship W2156507097A5083657160 @default.
- W2156507097 hasConcept C156325763 @default.
- W2156507097 hasConcept C184337299 @default.
- W2156507097 hasConcept C199360897 @default.
- W2156507097 hasConcept C41008148 @default.
- W2156507097 hasConcept C48103436 @default.
- W2156507097 hasConcept C80444323 @default.
- W2156507097 hasConcept C98045186 @default.
- W2156507097 hasConceptScore W2156507097C156325763 @default.
- W2156507097 hasConceptScore W2156507097C184337299 @default.
- W2156507097 hasConceptScore W2156507097C199360897 @default.
- W2156507097 hasConceptScore W2156507097C41008148 @default.
- W2156507097 hasConceptScore W2156507097C48103436 @default.
- W2156507097 hasConceptScore W2156507097C80444323 @default.
- W2156507097 hasConceptScore W2156507097C98045186 @default.
- W2156507097 hasLocation W21565070971 @default.
- W2156507097 hasOpenAccess W2156507097 @default.
- W2156507097 hasPrimaryLocation W21565070971 @default.
- W2156507097 hasRelatedWork W103868138 @default.
- W2156507097 hasRelatedWork W1590911502 @default.
- W2156507097 hasRelatedWork W1591654209 @default.
- W2156507097 hasRelatedWork W1909211426 @default.
- W2156507097 hasRelatedWork W1966415308 @default.
- W2156507097 hasRelatedWork W19775982 @default.
- W2156507097 hasRelatedWork W1986915692 @default.
- W2156507097 hasRelatedWork W1993650803 @default.
- W2156507097 hasRelatedWork W1996856267 @default.
- W2156507097 hasRelatedWork W1999494033 @default.
- W2156507097 hasRelatedWork W2007873095 @default.
- W2156507097 hasRelatedWork W2065605087 @default.
- W2156507097 hasRelatedWork W2151629759 @default.
- W2156507097 hasRelatedWork W2493505351 @default.
- W2156507097 hasRelatedWork W2518584228 @default.
- W2156507097 hasRelatedWork W2520249526 @default.
- W2156507097 hasRelatedWork W2890453365 @default.
- W2156507097 hasRelatedWork W2994785018 @default.
- W2156507097 hasRelatedWork W3021455043 @default.
- W2156507097 hasRelatedWork W1809252806 @default.
- W2156507097 isParatext "false" @default.
- W2156507097 isRetracted "false" @default.
- W2156507097 magId "2156507097" @default.
- W2156507097 workType "book-chapter" @default.