%0 Conference Paper %1 conf/concur/KobayashiSS00 %A Kobayashi, Naoki %A Saito, Shin %A Sumii, Eijiro %B CONCUR %D 2000 %E Palamidessi, Catuscia %I Springer %K dblp %P 489-503 %T An Implicitly-Typed Deadlock-Free Process Calculus. %U http://dblp.uni-trier.de/db/conf/concur/concur2000.html#KobayashiSS00 %V 1877 %@ 3-540-67897-2

@inproceedings{conf/concur/KobayashiSS00, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kobayashi, Naoki and Saito, Shin and Sumii, Eijiro}, biburl = {https://www.bibsonomy.org/bibtex/2ec4b2bbdf7af474259b1873b4d6f9430/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2000}, editor = {Palamidessi, Catuscia}, ee = {https://doi.org/10.1007/3-540-44618-4_35}, interhash = {7a3db371c8f4f40615cbdcec9e7b34c9}, intrahash = {ec4b2bbdf7af474259b1873b4d6f9430}, isbn = {3-540-67897-2}, keywords = {dblp}, pages = {489-503}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:37:48.000+0200}, title = {An Implicitly-Typed Deadlock-Free Process Calculus.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2000.html#KobayashiSS00}, volume = 1877, year = 2000 }