• Contextual equivalence for the...
  • *Description*

*Result*: Contextual equivalence for the pi-calculus that can stop

*Title*:
Contextual equivalence for the pi-calculus that can stop / David Sabel ; Manfred Schmidt-Schauß
*Author/editor-in-chief*:
Sabel, David (Verfasser) ; Schmidt-Schauß, Manfred (Verfasser)
*Publication*:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2014
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 53
*show_all_volumes*

*Additional information*

*Additional functions*