SABEL, David und SCHMIDT-SCHAUSS, Manfred, 2014. Contextual equivalence for the pi-calculus that can stop. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, 53.
Elsevier - Harvard (with titles)Sabel, D., Schmidt-Schauß, M., 2014. Contextual equivalence for the pi-calculus that can stop, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30:3-336082
American Psychological Association 7th editionSabel, D., & Schmidt-Schauß, M. (ca. 2014). Contextual equivalence for the pi-calculus that can stop [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30:3-336082
Springer - Basic (author-date)Sabel D, Schmidt-Schauß M (2014) Contextual equivalence for the pi-calculus that can stop. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main
Juristische Zitierweise (Stüber) (Deutsch)Sabel, David/ Schmidt-Schauß, Manfred, Contextual equivalence for the pi-calculus that can stop, Frankfurt am Main 2014.