Matches in SemOpenAlex for { <https://semopenalex.org/work/W5409819> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W5409819 endingPage "308" @default.
- W5409819 startingPage "293" @default.
- W5409819 abstract "This paper extends to process algebras the notion of maximality which has initially been introduced for prime event structures and P/T nets and shows how this notion of maximality may be used for defining an adequate semantics of Basic LOTOS able to support action refinement. Such an approach appears to be more convenient than the classical ST-semantics where non atomic actions are split into start and end sub-actions, as it makes it possible to escape from the potential state space explosion problems induced by action splitting. Main contributions of the paper are related to the definition of a maximality-based operational semantics of LOTOS and to the expression of maximality-based bisimulation equivalences which are shown to be preserved under action refinement." @default.
- W5409819 created "2016-06-24" @default.
- W5409819 creator A5018022988 @default.
- W5409819 creator A5058004291 @default.
- W5409819 date "1994-01-01" @default.
- W5409819 modified "2023-10-06" @default.
- W5409819 title "Relating maximality-based semantics to action refinement in process algebras." @default.
- W5409819 hasPublicationYear "1994" @default.
- W5409819 type Work @default.
- W5409819 sameAs 5409819 @default.
- W5409819 citedByCount "3" @default.
- W5409819 countsByYear W54098192012 @default.
- W5409819 crossrefType "proceedings-article" @default.
- W5409819 hasAuthorship W5409819A5018022988 @default.
- W5409819 hasAuthorship W5409819A5058004291 @default.
- W5409819 hasConcept C114614502 @default.
- W5409819 hasConcept C118615104 @default.
- W5409819 hasConcept C121332964 @default.
- W5409819 hasConcept C135315306 @default.
- W5409819 hasConcept C136119220 @default.
- W5409819 hasConcept C156325763 @default.
- W5409819 hasConcept C161771561 @default.
- W5409819 hasConcept C184337299 @default.
- W5409819 hasConcept C184992742 @default.
- W5409819 hasConcept C199360897 @default.
- W5409819 hasConcept C202444582 @default.
- W5409819 hasConcept C2779662365 @default.
- W5409819 hasConcept C2780791683 @default.
- W5409819 hasConcept C33923547 @default.
- W5409819 hasConcept C41008148 @default.
- W5409819 hasConcept C62520636 @default.
- W5409819 hasConcept C80444323 @default.
- W5409819 hasConcept C90559484 @default.
- W5409819 hasConcept C98045186 @default.
- W5409819 hasConceptScore W5409819C114614502 @default.
- W5409819 hasConceptScore W5409819C118615104 @default.
- W5409819 hasConceptScore W5409819C121332964 @default.
- W5409819 hasConceptScore W5409819C135315306 @default.
- W5409819 hasConceptScore W5409819C136119220 @default.
- W5409819 hasConceptScore W5409819C156325763 @default.
- W5409819 hasConceptScore W5409819C161771561 @default.
- W5409819 hasConceptScore W5409819C184337299 @default.
- W5409819 hasConceptScore W5409819C184992742 @default.
- W5409819 hasConceptScore W5409819C199360897 @default.
- W5409819 hasConceptScore W5409819C202444582 @default.
- W5409819 hasConceptScore W5409819C2779662365 @default.
- W5409819 hasConceptScore W5409819C2780791683 @default.
- W5409819 hasConceptScore W5409819C33923547 @default.
- W5409819 hasConceptScore W5409819C41008148 @default.
- W5409819 hasConceptScore W5409819C62520636 @default.
- W5409819 hasConceptScore W5409819C80444323 @default.
- W5409819 hasConceptScore W5409819C90559484 @default.
- W5409819 hasConceptScore W5409819C98045186 @default.
- W5409819 hasLocation W54098191 @default.
- W5409819 hasOpenAccess W5409819 @default.
- W5409819 hasPrimaryLocation W54098191 @default.
- W5409819 hasRelatedWork W12158859 @default.
- W5409819 hasRelatedWork W1493332449 @default.
- W5409819 hasRelatedWork W1507160831 @default.
- W5409819 hasRelatedWork W1511356539 @default.
- W5409819 hasRelatedWork W1552902269 @default.
- W5409819 hasRelatedWork W185269543 @default.
- W5409819 hasRelatedWork W1977555802 @default.
- W5409819 hasRelatedWork W1986548488 @default.
- W5409819 hasRelatedWork W2012874796 @default.
- W5409819 hasRelatedWork W2033241085 @default.
- W5409819 hasRelatedWork W2055350841 @default.
- W5409819 hasRelatedWork W2255874857 @default.
- W5409819 hasRelatedWork W2262332340 @default.
- W5409819 hasRelatedWork W2468179198 @default.
- W5409819 hasRelatedWork W2898466129 @default.
- W5409819 hasRelatedWork W2914320554 @default.
- W5409819 hasRelatedWork W3145956809 @default.
- W5409819 hasRelatedWork W2183847918 @default.
- W5409819 hasRelatedWork W2553577415 @default.
- W5409819 hasRelatedWork W2612491528 @default.
- W5409819 isParatext "false" @default.
- W5409819 isRetracted "false" @default.
- W5409819 magId "5409819" @default.
- W5409819 workType "article" @default.