%0 Journal Article %1 journals/topnoc/PuhlmannW09 %A Puhlmann, Frank %A Weske, Mathias %B Trans. Petri Nets and Other Models of Concurrency %D 2009 %E Jensen, Kurt %E van der Aalst, Wil M. P. %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 64-78 %T A Look Around the Corner: The Pi-Calculus. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc2.html#PuhlmannW09 %V 2 %@ 978-3-642-00898-6

@article{journals/topnoc/PuhlmannW09, added-at = {2020-03-13T00:00:00.000+0100}, author = {Puhlmann, Frank and Weske, Mathias}, biburl = {https://www.bibsonomy.org/bibtex/28789bfa613a86a199db943fb6249480e/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2009-2}, editor = {Jensen, Kurt and van der Aalst, Wil M. P.}, ee = {https://doi.org/10.1007/978-3-642-00899-3_4}, interhash = {6b2bba3f9d137deda0101fffc73f9ac7}, intrahash = {8789bfa613a86a199db943fb6249480e}, isbn = {978-3-642-00898-6}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {64-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:25.000+0100}, title = {A Look Around the Corner: The Pi-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc2.html#PuhlmannW09}, volume = 2, year = 2009 }