A fully abstract coalgebraic semantics for the pi-calculus under weak bisimilarity

@inproceedings{Popescu2009AFA,
  title={A fully abstract coalgebraic semantics for the pi-calculus under weak bisimilarity},
  author={Andrei Popescu},
  year={2009}
}
Combining traces, coalgebra and lazy-filtering channel configurations for parallel composition, we give a fully-abstract denotational semantics for the π-calculus under weak early bisimilarity. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Themes in Final Semantics

M. Lenisa
Dipartimento di Informatica, Universita‘ di Pisa, TD 6, • 1998
View 5 Excerpts
Highly Influenced

Processes as Terms: Non-Well-Founded Models for Bisimulation

Mathematical Structures in Computer Science • 1992
View 6 Excerpts
Highly Influenced

Non-Well-Founded Sets

P. Aczel
Stanford, • 1988
View 5 Excerpts
Highly Influenced

A Fully Abstract Domain Model for the π-Calculus

Ian Stark BRICS
1997
View 4 Excerpts
Highly Influenced

A Pi-Calculus with Explicit Substitutions

Theor. Comput. Sci. • 1996
View 6 Excerpts
Highly Influenced

Observe behaviour categorically

M. Nielsen, A. Chang
In FST&TCS’95, pages 263–278, • 1995
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…