FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031315747> ?p ?o ?g. }

• W2031315747 endingPage "331" @default.
• W2031315747 startingPage "277" @default.
• W2031315747 abstract "We settle the complexity bounds of the model checking problem for the ambient calculus with public names against the ambient logic. We show that if either the calculus contains replication or the logic contains the guarantee operator, the problem is undecidable. In the case of the replication-free calculus and guarantee-free logic we prove that the problem is PSPACE-complete. For the complexity upper bound, we devise a new representation of processes that remains of polynomial size during process execution; this allows us to keep the model checking procedure in polynomial space. Moreover, we prove PSPACE-hardness of the problem for several quite simple fragments of the calculus and the logic; this suggests that there are no interesting fragments with polynomial-time model checking algorithms." @default.
• W2031315747 created "2016-06-24" @default.
• W2031315747 creator A5022722845 @default.
• W2031315747 creator A5064289290 @default.
• W2031315747 creator A5068443996 @default.
• W2031315747 creator A5078684560 @default.
• W2031315747 creator A5082521701 @default.
• W2031315747 date "2003-11-01" @default.
• W2031315747 modified "2023-10-18" @default.
• W2031315747 title "Model checking mobile ambients" @default.
• W2031315747 cites W1495368328 @default.
• W2031315747 cites W1502726770 @default.
• W2031315747 cites W1518388247 @default.
• W2031315747 cites W1529140242 @default.
• W2031315747 cites W1558791089 @default.
• W2031315747 cites W1867254752 @default.
• W2031315747 cites W1932110987 @default.
• W2031315747 cites W1982129592 @default.
• W2031315747 cites W2008132476 @default.
• W2031315747 cites W2009387922 @default.
• W2031315747 cites W2045033949 @default.
• W2031315747 cites W2048984644 @default.
• W2031315747 cites W2065251436 @default.
• W2031315747 cites W2073764215 @default.
• W2031315747 cites W2094712820 @default.
• W2031315747 cites W2126008038 @default.
• W2031315747 cites W2134871878 @default.
• W2031315747 cites W2144141926 @default.
• W2031315747 cites W2156173670 @default.
• W2031315747 cites W2167998587 @default.
• W2031315747 cites W2912003593 @default.
• W2031315747 cites W4206370914 @default.
• W2031315747 cites W4245082952 @default.
• W2031315747 cites W4256027310 @default.
• W2031315747 doi "https://doi.org/10.1016/s0304-3975(02)00832-0" @default.
• W2031315747 hasPublicationYear "2003" @default.
• W2031315747 type Work @default.
• W2031315747 sameAs 2031315747 @default.
• W2031315747 citedByCount "37" @default.
• W2031315747 countsByYear W20313157472012 @default.
• W2031315747 countsByYear W20313157472013 @default.
• W2031315747 countsByYear W20313157472014 @default.
• W2031315747 countsByYear W20313157472018 @default.
• W2031315747 crossrefType "journal-article" @default.
• W2031315747 hasAuthorship W2031315747A5022722845 @default.
• W2031315747 hasAuthorship W2031315747A5064289290 @default.
• W2031315747 hasAuthorship W2031315747A5068443996 @default.
• W2031315747 hasAuthorship W2031315747A5078684560 @default.
• W2031315747 hasAuthorship W2031315747A5082521701 @default.
• W2031315747 hasBestOaLocation W20313157472 @default.
• W2031315747 hasConcept C110251889 @default.
• W2031315747 hasConcept C11413529 @default.
• W2031315747 hasConcept C118615104 @default.
• W2031315747 hasConcept C134306372 @default.
• W2031315747 hasConcept C153269930 @default.
• W2031315747 hasConcept C179799912 @default.
• W2031315747 hasConcept C192034797 @default.
• W2031315747 hasConcept C197685441 @default.
• W2031315747 hasConcept C199343813 @default.
• W2031315747 hasConcept C2777686260 @default.
• W2031315747 hasConcept C30888246 @default.
• W2031315747 hasConcept C311688 @default.
• W2031315747 hasConcept C33923547 @default.
• W2031315747 hasConcept C41008148 @default.
• W2031315747 hasConcept C71924100 @default.
• W2031315747 hasConcept C80444323 @default.
• W2031315747 hasConcept C90119067 @default.
• W2031315747 hasConceptScore W2031315747C110251889 @default.
• W2031315747 hasConceptScore W2031315747C11413529 @default.
• W2031315747 hasConceptScore W2031315747C118615104 @default.
• W2031315747 hasConceptScore W2031315747C134306372 @default.
• W2031315747 hasConceptScore W2031315747C153269930 @default.
• W2031315747 hasConceptScore W2031315747C179799912 @default.
• W2031315747 hasConceptScore W2031315747C192034797 @default.
• W2031315747 hasConceptScore W2031315747C197685441 @default.
• W2031315747 hasConceptScore W2031315747C199343813 @default.
• W2031315747 hasConceptScore W2031315747C2777686260 @default.
• W2031315747 hasConceptScore W2031315747C30888246 @default.
• W2031315747 hasConceptScore W2031315747C311688 @default.
• W2031315747 hasConceptScore W2031315747C33923547 @default.
• W2031315747 hasConceptScore W2031315747C41008148 @default.
• W2031315747 hasConceptScore W2031315747C71924100 @default.
• W2031315747 hasConceptScore W2031315747C80444323 @default.
• W2031315747 hasConceptScore W2031315747C90119067 @default.
• W2031315747 hasIssue "1-3" @default.
• W2031315747 hasLocation W20313157471 @default.
• W2031315747 hasLocation W20313157472 @default.
• W2031315747 hasOpenAccess W2031315747 @default.
• W2031315747 hasPrimaryLocation W20313157471 @default.
• W2031315747 hasRelatedWork W1489482702 @default.
• W2031315747 hasRelatedWork W1518388247 @default.
• W2031315747 hasRelatedWork W1777291824 @default.
• W2031315747 hasRelatedWork W2008237330 @default.
• W2031315747 hasRelatedWork W2015307578 @default.
• W2031315747 hasRelatedWork W2031315747 @default.
• W2031315747 hasRelatedWork W2043435342 @default.
• W2031315747 hasRelatedWork W2065896142 @default.
• W2031315747 hasRelatedWork W2121482121 @default.

• next