%0 Conference Paper %1 conf/stacs/Uselton93 %A Uselton, Andrew C. %B STACS %D 1993 %E Enjalbert, Patrice %E Finkel, Alain %E Wagner, Klaus W. %I Springer %K dblp %P 418-427 %T Structured Operational Semantics for Concurrency and Hierarchy. %U http://dblp.uni-trier.de/db/conf/stacs/stacs93.html#Uselton93 %V 665 %@ 3-540-56503-5

@inproceedings{conf/stacs/Uselton93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Uselton, Andrew C.}, biburl = {https://www.bibsonomy.org/bibtex/2d26b9caddbe6c2389ee29538d829c4d5/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1993}, editor = {Enjalbert, Patrice and Finkel, Alain and Wagner, Klaus W.}, ee = {https://doi.org/10.1007/3-540-56503-5_42}, interhash = {f47b8caed4bf19b306b8f7e30d18a52e}, intrahash = {d26b9caddbe6c2389ee29538d829c4d5}, isbn = {3-540-56503-5}, keywords = {dblp}, pages = {418-427}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:11.000+0200}, title = {Structured Operational Semantics for Concurrency and Hierarchy.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs93.html#Uselton93}, volume = 665, year = 1993 }