High Level Expressions with their SOS Semantics (Extended Abstract). Klaudel, H. & Riemann, R. In Mazurkiewicz, A. W. & Winkowski, J., editors, CONCUR, volume 1243, of Lecture Notes in Computer Science, pages 288-301, 1997. Springer. Paper bibtex @inproceedings{conf/concur/KlaudelR97,
added-at = {2002-02-26T00:00:00.000+0100},
author = {Klaudel, Hanna and Riemann, Robert-C.},
biburl = {http://www.bibsonomy.org/bibtex/2e3a79efc174a7269a51151aa4f3c4ca6/dblp},
booktitle = {CONCUR},
crossref = {conf/concur/1997},
date = {2002-02-26},
description = {dblp},
editor = {Mazurkiewicz, Antoni W. and Winkowski, Józef},
interhash = {1b81f97b9bb24b41d914c8ac1978acb4},
intrahash = {e3a79efc174a7269a51151aa4f3c4ca6},
isbn = {3-540-63141-0},
keywords = {dblp},
pages = {288-301},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2002-02-26T00:00:00.000+0100},
title = {High Level Expressions with their SOS Semantics (Extended Abstract).},
url = {http://dblp.uni-trier.de/db/conf/concur/concur1997.html#KlaudelR97},
volume = 1243,
year = 1997
}
Downloads: 0
{"_id":"iNcQzHsB8BxdyNbAZ","bibbaseid":"klaudel-riemann-highlevelexpressionswiththeirsossemanticsextendedabstract-1997","downloads":0,"creationDate":"2016-03-15T09:42:07.061Z","title":"High Level Expressions with their SOS Semantics (Extended Abstract).","author_short":["Klaudel, H.","Riemann, R."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/riemann?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2002-02-26T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Klaudel"],"firstnames":["Hanna"],"suffixes":[]},{"propositions":[],"lastnames":["Riemann"],"firstnames":["Robert-C."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2e3a79efc174a7269a51151aa4f3c4ca6/dblp","booktitle":"CONCUR","crossref":"conf/concur/1997","date":"2002-02-26","description":"dblp","editor":[{"propositions":[],"lastnames":["Mazurkiewicz"],"firstnames":["Antoni","W."],"suffixes":[]},{"propositions":[],"lastnames":["Winkowski"],"firstnames":["Józef"],"suffixes":[]}],"interhash":"1b81f97b9bb24b41d914c8ac1978acb4","intrahash":"e3a79efc174a7269a51151aa4f3c4ca6","isbn":"3-540-63141-0","keywords":"dblp","pages":"288-301","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2002-02-26T00:00:00.000+0100","title":"High Level Expressions with their SOS Semantics (Extended Abstract).","url":"http://dblp.uni-trier.de/db/conf/concur/concur1997.html#KlaudelR97","volume":"1243","year":"1997","bibtex":"@inproceedings{conf/concur/KlaudelR97,\n added-at = {2002-02-26T00:00:00.000+0100},\n author = {Klaudel, Hanna and Riemann, Robert-C.},\n biburl = {http://www.bibsonomy.org/bibtex/2e3a79efc174a7269a51151aa4f3c4ca6/dblp},\n booktitle = {CONCUR},\n crossref = {conf/concur/1997},\n date = {2002-02-26},\n description = {dblp},\n editor = {Mazurkiewicz, Antoni W. and Winkowski, Józef},\n interhash = {1b81f97b9bb24b41d914c8ac1978acb4},\n intrahash = {e3a79efc174a7269a51151aa4f3c4ca6},\n isbn = {3-540-63141-0},\n keywords = {dblp},\n pages = {288-301},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2002-02-26T00:00:00.000+0100},\n title = {High Level Expressions with their SOS Semantics (Extended Abstract).},\n url = {http://dblp.uni-trier.de/db/conf/concur/concur1997.html#KlaudelR97},\n volume = 1243,\n year = 1997\n}\n\n","author_short":["Klaudel, H.","Riemann, R."],"editor_short":["Mazurkiewicz, A. W.","Winkowski, J."],"key":"conf/concur/KlaudelR97","id":"conf/concur/KlaudelR97","bibbaseid":"klaudel-riemann-highlevelexpressionswiththeirsossemanticsextendedabstract-1997","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/concur/concur1997.html#KlaudelR97"},"keyword":["dblp"],"downloads":0},"search_terms":["high","level","expressions","sos","semantics","extended","abstract","klaudel","riemann"],"keywords":["dblp"],"authorIDs":[],"dataSources":["HyzRzy2KZZmBdh3SB"]}