A Fully Abstract Model for the π-calculus - Concepedia

Concepedia

Publication | Open Access

A Fully Abstract Model for the π-calculus

DOI Full Paper Access

76

Citations

22

References

2002

Year

Marcelo Fiore, Eugenio Moggi, Davide Sangiorgi

Information and Computation

Automated ReasoningFully Abstract ModelFoundational CalculusModel TheoryProcess Calculus

References

	Year	Citations

Page 1