On quasi-open bisimulation (Q557789): Difference between revisions

Some properties of quasi-open bisimilarity as well as other bisimulations (for \(\pi\)-calculus), such as open bisimulation, open barbed bisimulation, \(q\)-open bisimulation, local open bisimulation, are discussed. A complete axiomatization of weak quasi-open congruence is given.

0 references

reviewed by

Damas Gruska

0 references

zbMATH Keywords

\(\pi\)-calculus

0 references

quasi-open bisimulation

0 references

open bisimulation

0 references

axiomatization

0 references

MaRDI profile type

Publication

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2004.10.041

0 references

cites work

Tau laws for pi calculus

0 references

Symbolic bisimulations

0 references

Q4219039

0 references

A complete inference system for a class of regular behaviours

0 references

A complete axiomatisation for observational congruence of finite-state behaviours

0 references

Q3992568

0 references

A calculus of mobile processes. I

0 references

Algebraic theories for name-passing calculi

0 references

A theory of bisimulation for the \(\pi\)-calculus

0 references

Q4791841

0 references

Q2734510

0 references

Identifiers

zbMATH Open document ID

1077.68060

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

10.1016/J.TCS.2004.10.041

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:557789

@@ Property / DOI @@
-.1016/j.tcs.2004.10.041
@@ Property / DOI: 10.1016/j.tcs.2004.10.041 / rank @@
-Normal rank
@@ Property / review text @@
+Some properties of quasi-open bisimilarity as well as other bisimulations (for \(\pi\)-calculus), such as open bisimulation, open barbed bisimulation, \(q\)-open bisimulation, local open bisimulation, are discussed. A complete axiomatization of weak quasi-open congruence is given.
+Normal rank
@@ Property / reviewed by @@
+Damas Gruska
@@ Property / reviewed by: Damas Gruska / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2184036
@@ Property / zbMATH DE Number: 2184036 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\pi\)-calculus
@@ Property / zbMATH Keywords: \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quasi-open bisimulation
@@ Property / zbMATH Keywords: quasi-open bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+open bisimulation
@@ Property / zbMATH Keywords: open bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+axiomatization
@@ Property / zbMATH Keywords: axiomatization / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2004.10.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2131851771
@@ Property / OpenAlex ID: W2131851771 / rank @@
+Normal rank
@@ Property / cites work @@
+Tau laws for pi calculus
@@ Property / cites work: Tau laws for pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219039
@@ Property / cites work: Q4219039 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.10.041
@@ Property / DOI: 10.1016/J.TCS.2004.10.041 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:557789