%0 Conference Paper %1 mennicke2012operational %A Mennicke, Stephan %B EXPRESS/SOS %D 2012 %E Luttik, Bas %E Reniers, Michel A. %K calculus join myown operational semantics %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{mennicke2012operational, added-at = {2015-02-12T17:02:09.000+0100}, author = {Mennicke, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2f80c5206abf62177df135106b728828b/smennicke}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/abs-1208-2440}, editor = {Luttik, Bas and Reniers, Michel A.}, ee = {http://dx.doi.org/10.4204/EPTCS.89.10}, interhash = {43f866e1bada07d1d4fd8013c9ffb61a}, intrahash = {f80c5206abf62177df135106b728828b}, keywords = {calculus join myown operational semantics}, pages = {131-147}, series = {EPTCS}, timestamp = {2015-02-12T17:02:09.000+0100}, 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 }