%0 Conference Paper %1 conf/parle/BuchsG93 %A Buchs, Didier %A Guelfi, Nicolas %B PARLE %D 1993 %E Bode, Arndt %E Reeve, Mike %E Wolf, Gottfried %I Springer %K dblp %P 353-366 %T Formal Development of Actor Programs Using Structured Algebraic Petri Nets. %U http://dblp.uni-trier.de/db/conf/parle/parle93.html#BuchsG93 %V 694 %@ 3-540-56891-3

@inproceedings{conf/parle/BuchsG93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Buchs, Didier and Guelfi, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/21f1f439808ed6f268a35b9233dc1cacf/dblp}, booktitle = {PARLE}, crossref = {conf/parle/1993}, editor = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried}, ee = {https://doi.org/10.1007/3-540-56891-3_28}, interhash = {c7d04ff9e228bfdb66e1dc9a2cc04023}, intrahash = {1f1f439808ed6f268a35b9233dc1cacf}, isbn = {3-540-56891-3}, keywords = {dblp}, pages = {353-366}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:33:16.000+0200}, title = {Formal Development of Actor Programs Using Structured Algebraic Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/parle/parle93.html#BuchsG93}, volume = 694, year = 1993 }