Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034986004> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2034986004 endingPage "560" @default.
- W2034986004 startingPage "524" @default.
- W2034986004 abstract "We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic model is considered both for presheaves over the category of finite sets and injections, and for its subcategory of atomic sheaves known as the Schanuel topos. Each coalgebra induces an indexed labelled transition system. Such transition systems are characterised, relating the coalgebraic approach to an existing model of name-passing. Further, we consider internal labelled transition systems within the sheaf topos, and axiomatise a class that is in precise correspondence with the coalgebraic and the indexed labelled transition system models. By establishing and exploiting the equivalence of the Schanuel topos with a category of named-sets, these internal labelled transition systems are also related to the theory of history dependent automata." @default.
- W2034986004 created "2016-06-24" @default.
- W2034986004 creator A5068183682 @default.
- W2034986004 creator A5080675787 @default.
- W2034986004 date "2006-04-01" @default.
- W2034986004 modified "2023-09-27" @default.
- W2034986004 title "Comparing operational models of name-passing process calculi" @default.
- W2034986004 cites W2037276526 @default.
- W2034986004 cites W2083397001 @default.
- W2034986004 cites W2143893379 @default.
- W2034986004 doi "https://doi.org/10.1016/j.ic.2005.08.004" @default.
- W2034986004 hasPublicationYear "2006" @default.
- W2034986004 type Work @default.
- W2034986004 sameAs 2034986004 @default.
- W2034986004 citedByCount "44" @default.
- W2034986004 countsByYear W20349860042012 @default.
- W2034986004 countsByYear W20349860042013 @default.
- W2034986004 countsByYear W20349860042014 @default.
- W2034986004 countsByYear W20349860042015 @default.
- W2034986004 countsByYear W20349860042016 @default.
- W2034986004 countsByYear W20349860042017 @default.
- W2034986004 crossrefType "journal-article" @default.
- W2034986004 hasAuthorship W2034986004A5068183682 @default.
- W2034986004 hasAuthorship W2034986004A5080675787 @default.
- W2034986004 hasConcept C112505250 @default.
- W2034986004 hasConcept C11413529 @default.
- W2034986004 hasConcept C118615104 @default.
- W2034986004 hasConcept C124952713 @default.
- W2034986004 hasConcept C136119220 @default.
- W2034986004 hasConcept C142362112 @default.
- W2034986004 hasConcept C161771561 @default.
- W2034986004 hasConcept C182141236 @default.
- W2034986004 hasConcept C199360897 @default.
- W2034986004 hasConcept C202444582 @default.
- W2034986004 hasConcept C2778249326 @default.
- W2034986004 hasConcept C2779167558 @default.
- W2034986004 hasConcept C2780069185 @default.
- W2034986004 hasConcept C2780617661 @default.
- W2034986004 hasConcept C33923547 @default.
- W2034986004 hasConcept C4017995 @default.
- W2034986004 hasConcept C41008148 @default.
- W2034986004 hasConcept C80444323 @default.
- W2034986004 hasConcept C98045186 @default.
- W2034986004 hasConceptScore W2034986004C112505250 @default.
- W2034986004 hasConceptScore W2034986004C11413529 @default.
- W2034986004 hasConceptScore W2034986004C118615104 @default.
- W2034986004 hasConceptScore W2034986004C124952713 @default.
- W2034986004 hasConceptScore W2034986004C136119220 @default.
- W2034986004 hasConceptScore W2034986004C142362112 @default.
- W2034986004 hasConceptScore W2034986004C161771561 @default.
- W2034986004 hasConceptScore W2034986004C182141236 @default.
- W2034986004 hasConceptScore W2034986004C199360897 @default.
- W2034986004 hasConceptScore W2034986004C202444582 @default.
- W2034986004 hasConceptScore W2034986004C2778249326 @default.
- W2034986004 hasConceptScore W2034986004C2779167558 @default.
- W2034986004 hasConceptScore W2034986004C2780069185 @default.
- W2034986004 hasConceptScore W2034986004C2780617661 @default.
- W2034986004 hasConceptScore W2034986004C33923547 @default.
- W2034986004 hasConceptScore W2034986004C4017995 @default.
- W2034986004 hasConceptScore W2034986004C41008148 @default.
- W2034986004 hasConceptScore W2034986004C80444323 @default.
- W2034986004 hasConceptScore W2034986004C98045186 @default.
- W2034986004 hasIssue "4" @default.
- W2034986004 hasLocation W20349860041 @default.
- W2034986004 hasOpenAccess W2034986004 @default.
- W2034986004 hasPrimaryLocation W20349860041 @default.
- W2034986004 hasRelatedWork W1563992305 @default.
- W2034986004 hasRelatedWork W1951729275 @default.
- W2034986004 hasRelatedWork W2026391456 @default.
- W2034986004 hasRelatedWork W2034986004 @default.
- W2034986004 hasRelatedWork W2075196465 @default.
- W2034986004 hasRelatedWork W2083397001 @default.
- W2034986004 hasRelatedWork W2157657301 @default.
- W2034986004 hasRelatedWork W2245651640 @default.
- W2034986004 hasRelatedWork W4300836800 @default.
- W2034986004 hasRelatedWork W2567506893 @default.
- W2034986004 hasVolume "204" @default.
- W2034986004 isParatext "false" @default.
- W2034986004 isRetracted "false" @default.
- W2034986004 magId "2034986004" @default.
- W2034986004 workType "article" @default.