%0 Conference Paper %1 conf/concur/Selinger97 %A Selinger, Peter %B CONCUR %D 1997 %E Mazurkiewicz, Antoni W. %E Winkowski, Józef %I Springer %K dblp %P 376-390 %T First-Order Axioms for Asynchrony. %U http://dblp.uni-trier.de/db/conf/concur/concur1997.html#Selinger97 %V 1243 %@ 3-540-63141-0

@inproceedings{conf/concur/Selinger97, added-at = {2019-09-25T00:00:00.000+0200}, author = {Selinger, Peter}, biburl = {https://www.bibsonomy.org/bibtex/27214eaf88193a642412a4c4863fe744b/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1997}, editor = {Mazurkiewicz, Antoni W. and Winkowski, Józef}, ee = {https://doi.org/10.1007/3-540-63141-0_26}, interhash = {30710a96b1ed4a1a826c9d7a1cc1fdd0}, intrahash = {7214eaf88193a642412a4c4863fe744b}, isbn = {3-540-63141-0}, keywords = {dblp}, pages = {376-390}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:49:49.000+0200}, title = {First-Order Axioms for Asynchrony.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1997.html#Selinger97}, volume = 1243, year = 1997 }