Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005033254> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2005033254 endingPage "75" @default.
- W2005033254 startingPage "61" @default.
- W2005033254 abstract "The object of this paper is to probe the computational limits of an applied concurrent language called κ . This language describes how agents can bind and modify each other. It is meant as a syntactic medium to build, discuss and execute descriptions of cellular signalling pathways. However, it can be studied independently of its intended interpretation, and this is what we are doing here. Specifically, we define a reduction of κ to a fragment where interactions can involve at most two agents at a time. The translation relies on an implicit causality analysis which permits escaping deadlocks. It incurs only a linear blow up in the number of rules. Its correctness is spelt out in terms of the existence of a specific weak bisimulation and is proved in detail. To compensate for the binary restriction, one allows components to create unique names. When using acyclic rules, this additional facility of name creation is not needed and κ can be reduced to a binary form as is." @default.
- W2005033254 created "2016-06-24" @default.
- W2005033254 creator A5053204257 @default.
- W2005033254 creator A5059657244 @default.
- W2005033254 creator A5064315130 @default.
- W2005033254 creator A5077182970 @default.
- W2005033254 date "2008-09-01" @default.
- W2005033254 modified "2023-09-30" @default.
- W2005033254 title "Computational self-assembly" @default.
- W2005033254 cites W1500381309 @default.
- W2005033254 cites W1518298189 @default.
- W2005033254 cites W1578801263 @default.
- W2005033254 cites W1586735752 @default.
- W2005033254 cites W163255986 @default.
- W2005033254 cites W1986649132 @default.
- W2005033254 cites W2007006124 @default.
- W2005033254 cites W2013672985 @default.
- W2005033254 cites W2042321087 @default.
- W2005033254 cites W2069941324 @default.
- W2005033254 cites W2082874501 @default.
- W2005033254 cites W2109585055 @default.
- W2005033254 cites W2110796675 @default.
- W2005033254 cites W2112651905 @default.
- W2005033254 cites W2121811364 @default.
- W2005033254 cites W2125637396 @default.
- W2005033254 cites W2128932399 @default.
- W2005033254 cites W2140277138 @default.
- W2005033254 cites W2144063122 @default.
- W2005033254 cites W2153258203 @default.
- W2005033254 cites W2155418451 @default.
- W2005033254 cites W2161682775 @default.
- W2005033254 cites W2163493106 @default.
- W2005033254 cites W2165700291 @default.
- W2005033254 cites W2169193349 @default.
- W2005033254 cites W2611943439 @default.
- W2005033254 cites W2913096018 @default.
- W2005033254 cites W291482096 @default.
- W2005033254 doi "https://doi.org/10.1016/j.tcs.2008.04.014" @default.
- W2005033254 hasPublicationYear "2008" @default.
- W2005033254 type Work @default.
- W2005033254 sameAs 2005033254 @default.
- W2005033254 citedByCount "8" @default.
- W2005033254 crossrefType "journal-article" @default.
- W2005033254 hasAuthorship W2005033254A5053204257 @default.
- W2005033254 hasAuthorship W2005033254A5059657244 @default.
- W2005033254 hasAuthorship W2005033254A5064315130 @default.
- W2005033254 hasAuthorship W2005033254A5077182970 @default.
- W2005033254 hasBestOaLocation W20050332541 @default.
- W2005033254 hasConcept C11413529 @default.
- W2005033254 hasConcept C33923547 @default.
- W2005033254 hasConcept C41008148 @default.
- W2005033254 hasConcept C80444323 @default.
- W2005033254 hasConceptScore W2005033254C11413529 @default.
- W2005033254 hasConceptScore W2005033254C33923547 @default.
- W2005033254 hasConceptScore W2005033254C41008148 @default.
- W2005033254 hasConceptScore W2005033254C80444323 @default.
- W2005033254 hasIssue "1-2" @default.
- W2005033254 hasLocation W20050332541 @default.
- W2005033254 hasLocation W20050332542 @default.
- W2005033254 hasLocation W20050332543 @default.
- W2005033254 hasLocation W20050332544 @default.
- W2005033254 hasLocation W20050332545 @default.
- W2005033254 hasLocation W20050332546 @default.
- W2005033254 hasOpenAccess W2005033254 @default.
- W2005033254 hasPrimaryLocation W20050332541 @default.
- W2005033254 hasRelatedWork W1979597421 @default.
- W2005033254 hasRelatedWork W2007980826 @default.
- W2005033254 hasRelatedWork W2061531152 @default.
- W2005033254 hasRelatedWork W2077600819 @default.
- W2005033254 hasRelatedWork W2386767533 @default.
- W2005033254 hasRelatedWork W2748952813 @default.
- W2005033254 hasRelatedWork W2899084033 @default.
- W2005033254 hasRelatedWork W3002753104 @default.
- W2005033254 hasRelatedWork W4225152035 @default.
- W2005033254 hasRelatedWork W4245490552 @default.
- W2005033254 hasVolume "404" @default.
- W2005033254 isParatext "false" @default.
- W2005033254 isRetracted "false" @default.
- W2005033254 magId "2005033254" @default.
- W2005033254 workType "article" @default.