Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/concur/gtvc2005.bht:"
@proceedings{DBLP:conf/concur/2005gtvc, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/154/issue/2}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/2005gtvc.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BundgaardH06, author = {Mikkel Bundgaard and Thomas T. Hildebrandt}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {7--29}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.029}, doi = {10.1016/J.ENTCS.2005.03.029}, timestamp = {Fri, 20 Jan 2023 11:11:36 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BundgaardH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerbelM06, author = {Bilel Derbel and Mohamed Mosbah}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Distributed Graph Traversals by Relabelling Systems with Applications}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {79--94}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.034}, doi = {10.1016/J.ENTCS.2005.03.034}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerbelM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DoddsP06, author = {Mike Dodds and Detlef Plump}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Extending {C} for Checking Shape Safety}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {95--112}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.035}, doi = {10.1016/J.ENTCS.2005.03.035}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DoddsP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciL06, author = {Fabio Gadducci and Alberto Lluch{-}Lafuente}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Graphical Verification of a Spatial Logic for the \emph{pi}-calculus}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {31--46}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.031}, doi = {10.1016/J.ENTCS.2005.03.031}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kastenberg06, author = {Harmen Kastenberg}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Towards Attributed Graphs in Groove: Work in Progress}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {47--54}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.030}, doi = {10.1016/J.ENTCS.2005.03.030}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kastenberg06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LaneseM06, author = {Ivan Lanese and Ugo Montanari}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {55--72}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.032}, doi = {10.1016/J.ENTCS.2005.03.032}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LaneseM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MengeL06, author = {Sebastian Menge and Georgios Lajios}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {A Framework for Stochastic System Modelling and Analysis: Work in Progress}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {73--78}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.033}, doi = {10.1016/J.ENTCS.2005.03.033}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MengeL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RensinkHK06, author = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Preface}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {1--5}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.028}, doi = {10.1016/J.ENTCS.2005.03.028}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RensinkHK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Wroblewski06, author = {Dobieslaw Wr{\'{o}}blewski}, editor = {Arend Rensink and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Semi-local Model of Computations on Graphs to Break the Local Symmetry: Work in Progress}, booktitle = {Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San Francisco, CA, USA, August 22, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {2}, pages = {113--120}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.03.036}, doi = {10.1016/J.ENTCS.2005.03.036}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Wroblewski06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.