%0 Conference Paper %1 journals/corr/abs-1208-2753 %A Mennicke, Stephan %B EXPRESS/SOS %D 2012 %E Luttik, Bas %E Reniers, Michel A. %K dblp %P 131-147 %T An Operational Petri Net Semantics for the Join-Calculus %U http://dblp.uni-trier.de/db/series/eptcs/eptcs89.html#abs-1208-2753 %V 89

@inproceedings{journals/corr/abs-1208-2753, added-at = {2018-09-12T00:00:00.000+0200}, author = {Mennicke, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2f80c5206abf62177df135106b728828b/dblp}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/abs-1208-2440}, editor = {Luttik, Bas and Reniers, Michel A.}, ee = {http://arxiv.org/abs/1208.2753}, interhash = {43f866e1bada07d1d4fd8013c9ffb61a}, intrahash = {f80c5206abf62177df135106b728828b}, keywords = {dblp}, pages = {131-147}, series = {EPTCS}, timestamp = {2018-09-13T11:39:53.000+0200}, title = {An Operational Petri Net Semantics for the Join-Calculus}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs89.html#abs-1208-2753}, volume = 89, year = 2012 }