Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157598985> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2157598985 abstract "The formal language χ Core is derived from the systems engineering specification language χ. The language has its roots in Mechanical Engineering where it was designed to specify and analyse production systems. These production systems are described by concurrent communicating processes and can be analysed with the χ simulator. χ Core is a formalisation and simplification of the semantics of the χ language. Our motivation to design χ Core is the lack of a properly defined semantics of the χ specification language itself and the need for improved opportunities for the analysis of production systems. The operational semantics of χ Core is defined in a standard SOS-style. A bisimulation on χ Core processes is defined and shown to be a congruence. Based on this bisimulation, properties and time aspects of χ Core processes are discussed. The relation between χ and χ Core is explained by means of a translation scheme. Finally, an example specification of a production system is given and conclusions are drawn." @default.
- W2157598985 created "2016-06-24" @default.
- W2157598985 creator A5015348506 @default.
- W2157598985 creator A5060278605 @default.
- W2157598985 date "2000-01-01" @default.
- W2157598985 modified "2023-09-27" @default.
- W2157598985 title "Formalisation of a Production System Modelling Language The operational semantics of χ Core" @default.
- W2157598985 cites W123821112 @default.
- W2157598985 cites W1935046741 @default.
- W2157598985 cites W1961839044 @default.
- W2157598985 cites W1994216518 @default.
- W2157598985 cites W2049058988 @default.
- W2157598985 cites W2109738452 @default.
- W2157598985 cites W2113610950 @default.
- W2157598985 cites W2114817587 @default.
- W2157598985 cites W2115309705 @default.
- W2157598985 cites W2128687881 @default.
- W2157598985 cites W2139018637 @default.
- W2157598985 cites W2148727823 @default.
- W2157598985 cites W2234032778 @default.
- W2157598985 cites W2340102009 @default.
- W2157598985 cites W2590998428 @default.
- W2157598985 cites W284285021 @default.
- W2157598985 cites W566888222 @default.
- W2157598985 cites W179128963 @default.
- W2157598985 doi "https://doi.org/10.3233/fi-2000-41401" @default.
- W2157598985 hasPublicationYear "2000" @default.
- W2157598985 type Work @default.
- W2157598985 sameAs 2157598985 @default.
- W2157598985 citedByCount "6" @default.
- W2157598985 crossrefType "journal-article" @default.
- W2157598985 hasAuthorship W2157598985A5015348506 @default.
- W2157598985 hasAuthorship W2157598985A5060278605 @default.
- W2157598985 hasConcept C116253237 @default.
- W2157598985 hasConcept C119263510 @default.
- W2157598985 hasConcept C135315306 @default.
- W2157598985 hasConcept C139719470 @default.
- W2157598985 hasConcept C146499914 @default.
- W2157598985 hasConcept C15077461 @default.
- W2157598985 hasConcept C156325763 @default.
- W2157598985 hasConcept C162324750 @default.
- W2157598985 hasConcept C184337299 @default.
- W2157598985 hasConcept C199360897 @default.
- W2157598985 hasConcept C201677973 @default.
- W2157598985 hasConcept C2164484 @default.
- W2157598985 hasConcept C2778348673 @default.
- W2157598985 hasConcept C34165917 @default.
- W2157598985 hasConcept C41008148 @default.
- W2157598985 hasConcept C50033165 @default.
- W2157598985 hasConcept C76155785 @default.
- W2157598985 hasConcept C80444323 @default.
- W2157598985 hasConceptScore W2157598985C116253237 @default.
- W2157598985 hasConceptScore W2157598985C119263510 @default.
- W2157598985 hasConceptScore W2157598985C135315306 @default.
- W2157598985 hasConceptScore W2157598985C139719470 @default.
- W2157598985 hasConceptScore W2157598985C146499914 @default.
- W2157598985 hasConceptScore W2157598985C15077461 @default.
- W2157598985 hasConceptScore W2157598985C156325763 @default.
- W2157598985 hasConceptScore W2157598985C162324750 @default.
- W2157598985 hasConceptScore W2157598985C184337299 @default.
- W2157598985 hasConceptScore W2157598985C199360897 @default.
- W2157598985 hasConceptScore W2157598985C201677973 @default.
- W2157598985 hasConceptScore W2157598985C2164484 @default.
- W2157598985 hasConceptScore W2157598985C2778348673 @default.
- W2157598985 hasConceptScore W2157598985C34165917 @default.
- W2157598985 hasConceptScore W2157598985C41008148 @default.
- W2157598985 hasConceptScore W2157598985C50033165 @default.
- W2157598985 hasConceptScore W2157598985C76155785 @default.
- W2157598985 hasConceptScore W2157598985C80444323 @default.
- W2157598985 hasLocation W21575989851 @default.
- W2157598985 hasOpenAccess W2157598985 @default.
- W2157598985 hasPrimaryLocation W21575989851 @default.
- W2157598985 hasRelatedWork W127914462 @default.
- W2157598985 hasRelatedWork W1562467008 @default.
- W2157598985 hasRelatedWork W1745668638 @default.
- W2157598985 hasRelatedWork W175910460 @default.
- W2157598985 hasRelatedWork W177460181 @default.
- W2157598985 hasRelatedWork W181636263 @default.
- W2157598985 hasRelatedWork W1828976159 @default.
- W2157598985 hasRelatedWork W2105429231 @default.
- W2157598985 hasRelatedWork W2113049446 @default.
- W2157598985 hasRelatedWork W2118564542 @default.
- W2157598985 hasRelatedWork W2144545266 @default.
- W2157598985 hasRelatedWork W2242071628 @default.
- W2157598985 hasRelatedWork W2346658183 @default.
- W2157598985 hasRelatedWork W2521876884 @default.
- W2157598985 hasRelatedWork W3010737172 @default.
- W2157598985 hasRelatedWork W3119871306 @default.
- W2157598985 hasRelatedWork W3153343958 @default.
- W2157598985 hasRelatedWork W3174096980 @default.
- W2157598985 hasRelatedWork W2182048919 @default.
- W2157598985 hasRelatedWork W2185670127 @default.
- W2157598985 isParatext "false" @default.
- W2157598985 isRetracted "false" @default.
- W2157598985 magId "2157598985" @default.
- W2157598985 workType "article" @default.