Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000671421> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2000671421 endingPage "330" @default.
- W2000671421 startingPage "325" @default.
- W2000671421 abstract "Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been successfully used in a wide range of problems and practical applications in concurrent systems. The basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In the contribution an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems is presented. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterization of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation." @default.
- W2000671421 created "2016-06-24" @default.
- W2000671421 creator A5013170906 @default.
- W2000671421 creator A5062718839 @default.
- W2000671421 creator A5070465089 @default.
- W2000671421 date "2005-01-01" @default.
- W2000671421 modified "2023-09-27" @default.
- W2000671421 title "PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS" @default.
- W2000671421 cites W3022429701 @default.
- W2000671421 cites W81624730 @default.
- W2000671421 doi "https://doi.org/10.3182/20050703-6-cz-1902.00338" @default.
- W2000671421 hasPublicationYear "2005" @default.
- W2000671421 type Work @default.
- W2000671421 sameAs 2000671421 @default.
- W2000671421 citedByCount "3" @default.
- W2000671421 crossrefType "journal-article" @default.
- W2000671421 hasAuthorship W2000671421A5013170906 @default.
- W2000671421 hasAuthorship W2000671421A5062718839 @default.
- W2000671421 hasAuthorship W2000671421A5070465089 @default.
- W2000671421 hasBestOaLocation W20006714211 @default.
- W2000671421 hasConcept C120314980 @default.
- W2000671421 hasConcept C121332964 @default.
- W2000671421 hasConcept C134306372 @default.
- W2000671421 hasConcept C135315306 @default.
- W2000671421 hasConcept C136119220 @default.
- W2000671421 hasConcept C161771561 @default.
- W2000671421 hasConcept C168167062 @default.
- W2000671421 hasConcept C176181172 @default.
- W2000671421 hasConcept C193702766 @default.
- W2000671421 hasConcept C199360897 @default.
- W2000671421 hasConcept C202444582 @default.
- W2000671421 hasConcept C2780069185 @default.
- W2000671421 hasConcept C32848918 @default.
- W2000671421 hasConcept C33923547 @default.
- W2000671421 hasConcept C41008148 @default.
- W2000671421 hasConcept C62520636 @default.
- W2000671421 hasConcept C79379906 @default.
- W2000671421 hasConcept C80444323 @default.
- W2000671421 hasConcept C9376300 @default.
- W2000671421 hasConcept C97355855 @default.
- W2000671421 hasConcept C98045186 @default.
- W2000671421 hasConceptScore W2000671421C120314980 @default.
- W2000671421 hasConceptScore W2000671421C121332964 @default.
- W2000671421 hasConceptScore W2000671421C134306372 @default.
- W2000671421 hasConceptScore W2000671421C135315306 @default.
- W2000671421 hasConceptScore W2000671421C136119220 @default.
- W2000671421 hasConceptScore W2000671421C161771561 @default.
- W2000671421 hasConceptScore W2000671421C168167062 @default.
- W2000671421 hasConceptScore W2000671421C176181172 @default.
- W2000671421 hasConceptScore W2000671421C193702766 @default.
- W2000671421 hasConceptScore W2000671421C199360897 @default.
- W2000671421 hasConceptScore W2000671421C202444582 @default.
- W2000671421 hasConceptScore W2000671421C2780069185 @default.
- W2000671421 hasConceptScore W2000671421C32848918 @default.
- W2000671421 hasConceptScore W2000671421C33923547 @default.
- W2000671421 hasConceptScore W2000671421C41008148 @default.
- W2000671421 hasConceptScore W2000671421C62520636 @default.
- W2000671421 hasConceptScore W2000671421C79379906 @default.
- W2000671421 hasConceptScore W2000671421C80444323 @default.
- W2000671421 hasConceptScore W2000671421C9376300 @default.
- W2000671421 hasConceptScore W2000671421C97355855 @default.
- W2000671421 hasConceptScore W2000671421C98045186 @default.
- W2000671421 hasIssue "1" @default.
- W2000671421 hasLocation W20006714211 @default.
- W2000671421 hasLocation W20006714212 @default.
- W2000671421 hasOpenAccess W2000671421 @default.
- W2000671421 hasPrimaryLocation W20006714211 @default.
- W2000671421 hasRelatedWork W1493491893 @default.
- W2000671421 hasRelatedWork W1526239217 @default.
- W2000671421 hasRelatedWork W1567765153 @default.
- W2000671421 hasRelatedWork W1576762382 @default.
- W2000671421 hasRelatedWork W177980195 @default.
- W2000671421 hasRelatedWork W2000671421 @default.
- W2000671421 hasRelatedWork W2166928437 @default.
- W2000671421 hasRelatedWork W2168403556 @default.
- W2000671421 hasRelatedWork W2257750885 @default.
- W2000671421 hasRelatedWork W2484760668 @default.
- W2000671421 hasVolume "38" @default.
- W2000671421 isParatext "false" @default.
- W2000671421 isRetracted "false" @default.
- W2000671421 magId "2000671421" @default.
- W2000671421 workType "article" @default.