Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113406938> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2113406938 endingPage "178" @default.
- W2113406938 startingPage "171" @default.
- W2113406938 abstract "A value-passing version of normed context-free processes is considered, where process behaviours depend on a global state of data variables. The problem of characterizing bisimilarity of such processes is posed. A solution of the formulated problem is presented for a restricted class of processes and possibilities of extending the result are discussed. The presented solution exploits a tableau decision method for pure, normed, context-free processes: based on a tableau, a system of implications is formulated, solution of which characterizes bisimulation equivalence for a pair of value-passing processes." @default.
- W2113406938 created "2016-06-24" @default.
- W2113406938 creator A5072904517 @default.
- W2113406938 date "1998-01-01" @default.
- W2113406938 modified "2023-10-18" @default.
- W2113406938 title "Towards characterizing bisimilarity of value-passing processes with context-free control" @default.
- W2113406938 cites W1503973138 @default.
- W2113406938 cites W1522645051 @default.
- W2113406938 cites W1996761984 @default.
- W2113406938 cites W2019331713 @default.
- W2113406938 cites W2142944765 @default.
- W2113406938 cites W2147830331 @default.
- W2113406938 cites W2913663755 @default.
- W2113406938 doi "https://doi.org/10.1016/s1571-0661(05)80258-0" @default.
- W2113406938 hasPublicationYear "1998" @default.
- W2113406938 type Work @default.
- W2113406938 sameAs 2113406938 @default.
- W2113406938 citedByCount "0" @default.
- W2113406938 crossrefType "journal-article" @default.
- W2113406938 hasAuthorship W2113406938A5072904517 @default.
- W2113406938 hasBestOaLocation W21134069381 @default.
- W2113406938 hasConcept C11413529 @default.
- W2113406938 hasConcept C118615104 @default.
- W2113406938 hasConcept C119857082 @default.
- W2113406938 hasConcept C134306372 @default.
- W2113406938 hasConcept C135315306 @default.
- W2113406938 hasConcept C151730666 @default.
- W2113406938 hasConcept C154945302 @default.
- W2113406938 hasConcept C165696696 @default.
- W2113406938 hasConcept C17231256 @default.
- W2113406938 hasConcept C2776291640 @default.
- W2113406938 hasConcept C2777044963 @default.
- W2113406938 hasConcept C2777212361 @default.
- W2113406938 hasConcept C2779343474 @default.
- W2113406938 hasConcept C2780069185 @default.
- W2113406938 hasConcept C33923547 @default.
- W2113406938 hasConcept C38652104 @default.
- W2113406938 hasConcept C41008148 @default.
- W2113406938 hasConcept C48103436 @default.
- W2113406938 hasConcept C80444323 @default.
- W2113406938 hasConcept C86803240 @default.
- W2113406938 hasConceptScore W2113406938C11413529 @default.
- W2113406938 hasConceptScore W2113406938C118615104 @default.
- W2113406938 hasConceptScore W2113406938C119857082 @default.
- W2113406938 hasConceptScore W2113406938C134306372 @default.
- W2113406938 hasConceptScore W2113406938C135315306 @default.
- W2113406938 hasConceptScore W2113406938C151730666 @default.
- W2113406938 hasConceptScore W2113406938C154945302 @default.
- W2113406938 hasConceptScore W2113406938C165696696 @default.
- W2113406938 hasConceptScore W2113406938C17231256 @default.
- W2113406938 hasConceptScore W2113406938C2776291640 @default.
- W2113406938 hasConceptScore W2113406938C2777044963 @default.
- W2113406938 hasConceptScore W2113406938C2777212361 @default.
- W2113406938 hasConceptScore W2113406938C2779343474 @default.
- W2113406938 hasConceptScore W2113406938C2780069185 @default.
- W2113406938 hasConceptScore W2113406938C33923547 @default.
- W2113406938 hasConceptScore W2113406938C38652104 @default.
- W2113406938 hasConceptScore W2113406938C41008148 @default.
- W2113406938 hasConceptScore W2113406938C48103436 @default.
- W2113406938 hasConceptScore W2113406938C80444323 @default.
- W2113406938 hasConceptScore W2113406938C86803240 @default.
- W2113406938 hasLocation W21134069381 @default.
- W2113406938 hasOpenAccess W2113406938 @default.
- W2113406938 hasPrimaryLocation W21134069381 @default.
- W2113406938 hasRelatedWork W1838042250 @default.
- W2113406938 hasRelatedWork W1888841230 @default.
- W2113406938 hasRelatedWork W2030888138 @default.
- W2113406938 hasRelatedWork W2035669412 @default.
- W2113406938 hasRelatedWork W2063608931 @default.
- W2113406938 hasRelatedWork W2069441293 @default.
- W2113406938 hasRelatedWork W2085026104 @default.
- W2113406938 hasRelatedWork W2135048208 @default.
- W2113406938 hasRelatedWork W4207042428 @default.
- W2113406938 hasRelatedWork W1584109559 @default.
- W2113406938 hasVolume "18" @default.
- W2113406938 isParatext "false" @default.
- W2113406938 isRetracted "false" @default.
- W2113406938 magId "2113406938" @default.
- W2113406938 workType "article" @default.