FRINK Linked Data Fragments server

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

• W2094862963 endingPage "130" @default.
• W2094862963 startingPage "55" @default.
• W2094862963 abstract "The paper investigates the nonsymbolic algebraic semantics of the weak bisimulation congruences on finite pi processes. The weak bisimulation congruences are studied both in the absence and in the presence of the mismatch operator. Some interesting phenomena about the open congruences are revealed. Several new tau laws are discovered and their relationship is discussed. The contributions of the paper are mainly as follows: It is proved that Milner's three tau laws fail to lift a complete system for the strong open congruence to a complete system for the weak open congruence in the absence of both the mismatch operator and the restriction operator. A fourth tau law is proposed to deal with the match operator under the prefix operation. It is shown that for this calculus a complete system for the strong open congruence extended with all the four tau laws is complete for the weak open congruence. It is verified that the four tau laws are also enough for the weak open congruence of the pi calculus without the mismatch operator. A complete system using distinctions is given. It is pointed out that the standard definition of the weak open congruence gives rise to a bad equivalence relation in the presence of the mismatch operator. Two alternatives are proposed. These are the late open congruence and the early open congruence. Their difference is similar to that between the weak late congruence and the weak early congruence. Complete axiomatic systems for the two weak open congruences are given." @default.
• W2094862963 created "2016-06-24" @default.
• W2094862963 creator A5026708634 @default.
• W2094862963 creator A5075561353 @default.
• W2094862963 date "2003-11-01" @default.
• W2094862963 modified "2023-09-27" @default.
• W2094862963 title "Tau laws for pi calculus" @default.
• W2094862963 cites W1486166401 @default.
• W2094862963 cites W1487583155 @default.
• W2094862963 cites W1547562281 @default.
• W2094862963 cites W1568003051 @default.
• W2094862963 cites W1591694044 @default.
• W2094862963 cites W1598641821 @default.
• W2094862963 cites W1828556947 @default.
• W2094862963 cites W1978469611 @default.
• W2094862963 cites W1988856107 @default.
• W2094862963 cites W1997454380 @default.
• W2094862963 cites W1998827035 @default.
• W2094862963 cites W2001299902 @default.
• W2094862963 cites W2022258624 @default.
• W2094862963 cites W2027689693 @default.
• W2094862963 cites W2033132551 @default.
• W2094862963 cites W2072048176 @default.
• W2094862963 cites W2072848882 @default.
• W2094862963 cites W2085273936 @default.
• W2094862963 cites W2094935854 @default.
• W2094862963 cites W2128932399 @default.
• W2094862963 cites W2152309268 @default.
• W2094862963 cites W2157144873 @default.
• W2094862963 cites W2161127621 @default.
• W2094862963 cites W2169869634 @default.
• W2094862963 cites W2912003593 @default.
• W2094862963 cites W2913663755 @default.
• W2094862963 cites W2914597273 @default.
• W2094862963 cites W3192904815 @default.
• W2094862963 doi "https://doi.org/10.1016/s0304-3975(03)00202-0" @default.
• W2094862963 hasPublicationYear "2003" @default.
• W2094862963 type Work @default.
• W2094862963 sameAs 2094862963 @default.
• W2094862963 citedByCount "24" @default.
• W2094862963 countsByYear W20948629632012 @default.
• W2094862963 countsByYear W20948629632014 @default.
• W2094862963 countsByYear W20948629632015 @default.
• W2094862963 countsByYear W20948629632016 @default.
• W2094862963 countsByYear W20948629632018 @default.
• W2094862963 countsByYear W20948629632019 @default.
• W2094862963 countsByYear W20948629632021 @default.
• W2094862963 countsByYear W20948629632022 @default.
• W2094862963 crossrefType "journal-article" @default.
• W2094862963 hasAuthorship W2094862963A5026708634 @default.
• W2094862963 hasAuthorship W2094862963A5075561353 @default.
• W2094862963 hasConcept C104317684 @default.
• W2094862963 hasConcept C118615104 @default.
• W2094862963 hasConcept C132074034 @default.
• W2094862963 hasConcept C135315306 @default.
• W2094862963 hasConcept C136119220 @default.
• W2094862963 hasConcept C138885662 @default.
• W2094862963 hasConcept C141603448 @default.
• W2094862963 hasConcept C158448853 @default.
• W2094862963 hasConcept C167729594 @default.
• W2094862963 hasConcept C17020691 @default.
• W2094862963 hasConcept C185592680 @default.
• W2094862963 hasConcept C199343813 @default.
• W2094862963 hasConcept C202444582 @default.
• W2094862963 hasConcept C2524010 @default.
• W2094862963 hasConcept C2777686260 @default.
• W2094862963 hasConcept C2984882572 @default.
• W2094862963 hasConcept C33923547 @default.
• W2094862963 hasConcept C41008148 @default.
• W2094862963 hasConcept C41895202 @default.
• W2094862963 hasConcept C55493867 @default.
• W2094862963 hasConcept C71924100 @default.
• W2094862963 hasConcept C80444323 @default.
• W2094862963 hasConcept C86339819 @default.
• W2094862963 hasConcept C9973445 @default.
• W2094862963 hasConceptScore W2094862963C104317684 @default.
• W2094862963 hasConceptScore W2094862963C118615104 @default.
• W2094862963 hasConceptScore W2094862963C132074034 @default.
• W2094862963 hasConceptScore W2094862963C135315306 @default.
• W2094862963 hasConceptScore W2094862963C136119220 @default.
• W2094862963 hasConceptScore W2094862963C138885662 @default.
• W2094862963 hasConceptScore W2094862963C141603448 @default.
• W2094862963 hasConceptScore W2094862963C158448853 @default.
• W2094862963 hasConceptScore W2094862963C167729594 @default.
• W2094862963 hasConceptScore W2094862963C17020691 @default.
• W2094862963 hasConceptScore W2094862963C185592680 @default.
• W2094862963 hasConceptScore W2094862963C199343813 @default.
• W2094862963 hasConceptScore W2094862963C202444582 @default.
• W2094862963 hasConceptScore W2094862963C2524010 @default.
• W2094862963 hasConceptScore W2094862963C2777686260 @default.
• W2094862963 hasConceptScore W2094862963C2984882572 @default.
• W2094862963 hasConceptScore W2094862963C33923547 @default.
• W2094862963 hasConceptScore W2094862963C41008148 @default.
• W2094862963 hasConceptScore W2094862963C41895202 @default.
• W2094862963 hasConceptScore W2094862963C55493867 @default.
• W2094862963 hasConceptScore W2094862963C71924100 @default.
• W2094862963 hasConceptScore W2094862963C80444323 @default.
• W2094862963 hasConceptScore W2094862963C86339819 @default.

• next