%0 Book Section %1 Pierce1995 %A Pierce, Benjamin C. %B The Computer Science and Engineering Handbook %D 1997 %E Tucker, Allen B. %I CRC Press %K concurrency formal models specification %P 2190-2207 %T Foundational Calculi for Programming Languages. %U http://dblp.uni-trier.de/db/books/collections/tucker97.html\#Pierce97 %@ 0-8493-2909-4

@incollection{Pierce1995, added-at = {2012-03-20T15:38:15.000+0100}, author = {Pierce, Benjamin C.}, biburl = {https://www.bibsonomy.org/bibtex/291a2c859eae8735d48e09c4d53c7e0a6/davef}, booktitle = {The Computer Science and Engineering Handbook}, description = {dblp}, editor = {Tucker, Allen B.}, interhash = {db8d74acd5e65c596ad8e985ebb1156b}, intrahash = {91a2c859eae8735d48e09c4d53c7e0a6}, isbn = {0-8493-2909-4}, keydf = {formalLang1}, keywords = {concurrency formal models specification}, pages = {2190-2207}, publisher = {CRC Press}, timestamp = {2012-06-14T11:52:43.000+0200}, title = {Foundational Calculi for Programming Languages.}, url = {http://dblp.uni-trier.de/db/books/collections/tucker97.html\#Pierce97}, year = 1997 }