J.V. Echagüe, Z. Habbas, S. Pinchinat. Structural Operational Semantics for True Concurrency. In Proc. of the 15th International Conference of the Chilean Computer Science Society, SCCC'95, Arica, Chili, November 1995.
@InProceedings{echague95,
Author = {Echagüe, J.V. and Habbas, Z. and Pinchinat, S.},
Title = {Structural Operational Semantics for True Concurrency},
BookTitle = {Proc. of the 15th International Conference of the Chilean Computer Science Society, SCCC'95, Arica, Chili},
Month = {November},
Year = {1995}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.