Art

J-GLOBAL ID：201802275123853176   Reference number：18A0393865

Contextual equivalences in configuration structures and reversibility

配位構造と可逆性における文脈等価性【Powered by NICT】

Author (3)： Aubert Clement (INRIA, France) ,  Aubert Clement (Universite Paris-Est, LACL (EA 4219), UPEC, F-94010 Creteil, France) ,  Cristescu Ioana (Diderot, Sorbonne Paris Cite, P.P.S., UMR 7126, F-75205 Paris, France)
Material： Journal of Logical and Algebraic Methods in Programming  (J Log Algebr Method Program)
Volume： 86  Issue： 1  Page： 77-106  Publication year： 2017 
JST Material Number： W1593A  ISSN： 2352-2208  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)

Abstract/Point： Contextual equivalences equate...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A0393865&from=J-GLOBAL&jstjournalNo=W1593A") }}

Thesaurus term： process algebra ,  calculation ,  characterization ,  Heredity ,  *reversibility ,  denotational semantics ,  *equivalency ,  bisimulation ,  *coordinated structure

Author keywords (6)： Formal semantics ,  Process algebras and calculi ,  Reversible CCS ,  Hereditary history preserving bisimulation ,  Strong barbed congruence ,  Contextual characterization

JST classification (1)： Theory of computation  (JB02000A)

Terms in the title (4)： 配位構造 ,  可逆性 ,  文脈 ,  等価性