Treffer: Contextual equivalence for the pi-calculus that can stop

Titel:

Contextual equivalence for the pi-calculus that can stop / David Sabel ; Manfred Schmidt-Schauß

Beteiligt:

Sabel, David (Verfasser) ; Schmidt-Schauß, Manfred (Verfasser)

Veröffentlicht:

Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2014

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Technical report Frank ; 53
alle Bände anzeigen

Treffer: Contextual equivalence for the pi-calculus that can stop

Zusatz-Informationen

Zusatz-Funktionen