Separability in the Ambient Logic
The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on proc...
Uloženo v:
| Vydáno v: | Logical methods in computer science Ročník 4, Issue 3 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Logical Methods in Computer Science e.V
04.09.2008
|
| Témata: | |
| ISSN: | 1860-5974, 1860-5974 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The \it{Ambient Logic} (AL) has been proposed for expressing properties of
process mobility in the calculus of Mobile Ambients (MA), and as a basis for
query languages on semistructured data. We study some basic questions
concerning the discriminating power of AL, focusing on the equivalence on
processes induced by the logic $(=_L>)$. As underlying calculi besides MA we
consider a subcalculus in which an image-finiteness condition holds and that we
prove to be Turing complete. Synchronous variants of these calculi are studied
as well. In these calculi, we provide two operational characterisations of
$_=L$: a coinductive one (as a form of bisimilarity) and an inductive one
(based on structual properties of processes). After showing $_=L$ to be stricly
finer than barbed congruence, we establish axiomatisations of $_=L$ on the
subcalculus of MA (both the asynchronous and the synchronous version), enabling
us to relate $_=L$ to structural congruence. We also present some
(un)decidability results that are related to the above separation properties
for AL: the undecidability of $_=L$ on MA and its decidability on the
subcalculus. |
|---|---|
| AbstractList | The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on processes induced by the logic $(=_L>)$. As underlying calculi besides MA we consider a subcalculus in which an image-finiteness condition holds and that we prove to be Turing complete. Synchronous variants of these calculi are studied as well. In these calculi, we provide two operational characterisations of $_=L$: a coinductive one (as a form of bisimilarity) and an inductive one (based on structual properties of processes). After showing $_=L$ to be stricly finer than barbed congruence, we establish axiomatisations of $_=L$ on the subcalculus of MA (both the asynchronous and the synchronous version), enabling us to relate $_=L$ to structural congruence. We also present some (un)decidability results that are related to the above separation properties for AL: the undecidability of $_=L$ on MA and its decidability on the subcalculus. The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on processes induced by the logic $(=_L>)$. As underlying calculi besides MA we consider a subcalculus in which an image-finiteness condition holds and that we prove to be Turing complete. Synchronous variants of these calculi are studied as well. In these calculi, we provide two operational characterisations of $_=L$: a coinductive one (as a form of bisimilarity) and an inductive one (based on structual properties of processes). After showing $_=L$ to be stricly finer than barbed congruence, we establish axiomatisations of $_=L$ on the subcalculus of MA (both the asynchronous and the synchronous version), enabling us to relate $_=L$ to structural congruence. We also present some (un)decidability results that are related to the above separation properties for AL: the undecidability of $_=L$ on MA and its decidability on the subcalculus. |
| Author | Sangiorgi, Davide Lozes, Etienne Hirschkoff, Daniel |
| Author_xml | – sequence: 1 givenname: Daniel surname: Hirschkoff fullname: Hirschkoff, Daniel – sequence: 2 givenname: Etienne surname: Lozes fullname: Lozes, Etienne – sequence: 3 givenname: Davide surname: Sangiorgi fullname: Sangiorgi, Davide |
| BookMark | eNp1kM1LAzEQxYNUsGrPXtebHtZOstkk660UPworHqrnkM-ast0t2Vz637trFURwYJjhwe_xeOdo0natQ-gKwx3BTMzrl-U6pzfFPb0lAOIETbFgkJcVp5Nf_xma9f0WhikKLAibouu126uodGhCOmShzdKHyxY7HVybsrrbBHOJTr1qejf7vhfo_fHhbfmc169Pq-Wizk1BRcqFZuCtwIZrogBKTiwRmFqsCfeesZIIDlorsBo48V5bQUbZCWew9aK4QKujr-3UVu5j2Kl4kJ0K8kvo4kaqmIJpnHSYcFVBVRplaelxJbw3hlVDEiDOk8GrPHqZ2PV9dF6akFQKXZuiCo3EIMfa5FibpLIYdqxt4OZ_uJ8c_xGfwfJwAA |
| CitedBy_id | crossref_primary_10_1007_s00446_010_0112_6 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.2168/LMCS-4(3:4)2008 |
| DatabaseName | CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| Database_xml | – sequence: 1 dbid: DOA name: Directory of Open Access Journals (DOAJ) url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1860-5974 |
| ExternalDocumentID | oai_doaj_org_article_e127a9095cad45f198ffcc69c3402ef2 10_2168_LMCS_4_3_4_2008 |
| GroupedDBID | 29L 2WC 5GY 5VS AAFWJ AAYXX ADBBV ADQAK AENEX AFPKN ALMA_UNASSIGNED_HOLDINGS BCNDV CITATION EBS EJD FRP GROUPED_DOAJ J9A KQ8 M~E OK1 OVT P2P TR2 TUS XSB |
| ID | FETCH-LOGICAL-c348t-8b60fd81c7b2a00572d2814d1b27ff6652870bba0db072ffbd82f665e8ec1df83 |
| IEDL.DBID | DOA |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000262643100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1860-5974 |
| IngestDate | Fri Oct 03 12:50:27 EDT 2025 Sat Nov 29 06:21:49 EST 2025 Tue Nov 18 21:53:07 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| License | https://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c348t-8b60fd81c7b2a00572d2814d1b27ff6652870bba0db072ffbd82f665e8ec1df83 |
| OpenAccessLink | https://doaj.org/article/e127a9095cad45f198ffcc69c3402ef2 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_e127a9095cad45f198ffcc69c3402ef2 crossref_citationtrail_10_2168_LMCS_4_3_4_2008 crossref_primary_10_2168_LMCS_4_3_4_2008 |
| PublicationCentury | 2000 |
| PublicationDate | 2008-09-04 |
| PublicationDateYYYYMMDD | 2008-09-04 |
| PublicationDate_xml | – month: 09 year: 2008 text: 2008-09-04 day: 04 |
| PublicationDecade | 2000 |
| PublicationTitle | Logical methods in computer science |
| PublicationYear | 2008 |
| Publisher | Logical Methods in Computer Science e.V |
| Publisher_xml | – name: Logical Methods in Computer Science e.V |
| SSID | ssj0000331826 |
| Score | 1.7230726 |
| Snippet | The \it{Ambient Logic} (AL) has been proposed for expressing properties of
process mobility in the calculus of Mobile Ambients (MA), and as a basis for
query... The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query... |
| SourceID | doaj crossref |
| SourceType | Open Website Enrichment Source Index Database |
| SubjectTerms | computer science - logic in computer science computer science - multiagent systems computer science - programming languages f.3.2 f.4.1 |
| Title | Separability in the Ambient Logic |
| URI | https://doaj.org/article/e127a9095cad45f198ffcc69c3402ef2 |
| Volume | 4, Issue 3 |
| WOSCitedRecordID | wos000262643100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: Directory of Open Access Journals (DOAJ) customDbUrl: eissn: 1860-5974 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000331826 issn: 1860-5974 databaseCode: DOA dateStart: 20040101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1860-5974 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000331826 issn: 1860-5974 databaseCode: M~E dateStart: 20040101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELYQYmDhjSgvBYmhDKbxI47NVqpWDG2FVJC6RX6cpUpQUClILPx27CStyoBYGJLBchLnLrHvk---D6FLUCA0swazzHLMqQVsIOdYC0aAUcYIKQuF-_lwKMdjdb8i9RVzwip64MpwLSA01yoEAlY7nvmAkb23VijLAvIBX86-aa5WwFQ5B4eHhMC54vKhRMhWf9AZYd5kN_wqbvn_WIZW2PrLZaW3g7bqeDBpV-PYRWsw3UPbC62FpP719tHFCCJLd5nK-plMpkkI3JL2s4nljEkUTLYH6LHXfejc4VreAIexyzmWRqTeSWJzQ3UsCqWOSsIdMTT3Xogs7kEao1Nn0px6b5yksRkkWOK8ZIdoffoyhSOUWJZKC5l2nipulZPCQ8YyRbQ3PgCqBrpevG1ha-7vKEHxVAQMEM1TRPMUvGDhiOZpoObygteK9uL3rrfRfMtuka-6bAheLGovFn958fg_bnKCNhfZHCk_Revz2TucoQ37MZ-8zc7LDyScB1_dbxyJwCk |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Separability+in+the+Ambient+Logic&rft.jtitle=Logical+methods+in+computer+science&rft.au=Daniel+Hirschkoff&rft.au=Etienne+Lozes&rft.au=Davide+Sangiorgi&rft.date=2008-09-04&rft.pub=Logical+Methods+in+Computer+Science+e.V&rft.eissn=1860-5974&rft.volume=4%2C+Issue+3&rft_id=info:doi/10.2168%2FLMCS-4%283%3A4%292008&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_e127a9095cad45f198ffcc69c3402ef2 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1860-5974&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1860-5974&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1860-5974&client=summon |