%0 Conference Paper %1 conf/asian/BugliesiMR07 %A Bugliesi, Michele %A Macedonio, Damiano %A Rossi, Sabina %B ASIAN %D 2007 %E Cervesato, Iliano %I Springer %K dblp %P 282-296 %T Static vs Dynamic Typing for Access Control in Pi-Calculus. %U http://dblp.uni-trier.de/db/conf/asian/asian2007.html#BugliesiMR07 %V 4846 %@ 978-3-540-76927-9

@inproceedings{conf/asian/BugliesiMR07, added-at = {2024-10-06T00:00:00.000+0200}, author = {Bugliesi, Michele and Macedonio, Damiano and Rossi, Sabina}, biburl = {https://www.bibsonomy.org/bibtex/2c3e57c9bbfda581d522031e34d94dccd/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/2007}, editor = {Cervesato, Iliano}, ee = {https://doi.org/10.1007/978-3-540-76929-3_27}, interhash = {4afb41a461808c1ebaa7b5b8897f5da8}, intrahash = {c3e57c9bbfda581d522031e34d94dccd}, isbn = {978-3-540-76927-9}, keywords = {dblp}, pages = {282-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T08:39:37.000+0200}, title = {Static vs Dynamic Typing for Access Control in Pi-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian2007.html#BugliesiMR07}, volume = 4846, year = 2007 }