%0 Conference Paper %1 conf/scc/JensenKM79 %A Jensen, Kurt %A Kyng, Morten %A Madsen, Ole Lehrmann %B Semantics of Concurrent Computation %D 1979 %E Kahn, Gilles %I Springer %K dblp %P 348-368 %T A Petri Net Definition of a System Description Language. %U http://dblp.uni-trier.de/db/conf/scc/scc1979.html#JensenKM79 %V 70 %@ 3-540-09511-X

@inproceedings{conf/scc/JensenKM79, added-at = {2022-12-07T00:00:00.000+0100}, author = {Jensen, Kurt and Kyng, Morten and Madsen, Ole Lehrmann}, biburl = {https://www.bibsonomy.org/bibtex/29e5506b0c6fddd9f506044947ce8ae61/dblp}, booktitle = {Semantics of Concurrent Computation}, crossref = {conf/scc/1979}, editor = {Kahn, Gilles}, ee = {https://doi.org/10.1007/BFb0022479}, interhash = {140aa74510b369f590e08c409287fc58}, intrahash = {9e5506b0c6fddd9f506044947ce8ae61}, isbn = {3-540-09511-X}, keywords = {dblp}, pages = {348-368}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:27:39.000+0200}, title = {A Petri Net Definition of a System Description Language.}, url = {http://dblp.uni-trier.de/db/conf/scc/scc1979.html#JensenKM79}, volume = 70, year = 1979 }