Matching in the Pi-Calculus
Peters, Kirstin, Yonova-Karbe, Tsvetelina, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Get full text
Journal Article