{
    "items": [
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/426750\" title=\"Automatic maintenance of association invariants\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/426750/@@modal\" class=\"state-synced\">Automatic maintenance of association invariants</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Welch J. et al, (2005), Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, 282 - 291</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1109/SEFM.2005.9\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328426\" title=\"Formality, evolution, and model-driven software engineering\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328426/@@modal\" class=\"state-synced\">Formality, evolution, and model-driven software engineering</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Journal article</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. et al, (2005), Electronic Notes in Theoretical Computer Science, 130, 39 - 55</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1016/j.entcs.2005.03.004\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328331\" title=\"Teaching formal methods in context\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328331/@@modal\" class=\"state-synced\">Teaching formal methods in context</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. et al, (2004), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3294, 185 - 202</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/279912\" title=\"A method for the automatic generation of test suites from object models\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/279912/@@modal\" class=\"state-synced\">A method for the automatic generation of test suites from object models</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Cavarra A. et al, (2004), Information and Software Technology, 46, 309 - 314</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1016/j.infsof.2003.09.004\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/278424\" title=\"A method for the automatic generation of test suites from object models.\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/278424/@@modal\" class=\"state-synced\">A method for the automatic generation of test suites from object models.</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Journal article</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Cavarra A. et al, (2004), Information &amp; Software Technology, 46, 309 - 314</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/536242\" title=\"Preface\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/536242/@@modal\" class=\"state-synced\">Preface</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Book</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. et al, (2004), 3308</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328450\" title=\"Using state diagrams to describe concurrent behaviour\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328450/@@modal\" class=\"state-synced\">Using state diagrams to describe concurrent behaviour</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Journal article</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. and Crichton C., (2003), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 105 - 124</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328455\" title=\"Concurrency and Refinement in the Unified Modeling Language\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328455/@@modal\" class=\"state-synced\">Concurrency and Refinement in the Unified Modeling Language</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Journal article</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. and Crichton C., (2003), Formal Aspects of Computing, 15, 118 - 145</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1007/s00165-003-0008-3\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/163486\" title=\"On the supervision and assessment of part-time postgraduate software engineering projects\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/163486/@@modal\" class=\"state-synced\">On the supervision and assessment of part-time postgraduate software engineering projects</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Simpson A. et al, (2003), Proceedings - International Conference on Software Engineering, 628 - 633</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328504\" title=\"Concurrency and refinement in the unified modeling language\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328504/@@modal\" class=\"state-synced\">Concurrency and refinement in the unified modeling language</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Journal article</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. and Crichton C., (2002), Electronic Notes in Theoretical Computer Science, 70, 577 - 603</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1016/S1571-0661(05)80494-3\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328503\" title=\"A comparison or refinement orderings and their associated simulation rules\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328503/@@modal\" class=\"state-synced\">A comparison or refinement orderings and their associated simulation rules</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Journal article</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Bolton C. and Davies J., (2002), Electronic Notes in Theoretical Computer Science, 70, 297 - 310</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1016/S1571-0661(05)82563-0\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/593112\" title=\"Refinement in object-Z and CSP\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/593112/@@modal\" class=\"state-synced\">Refinement in object-Z and CSP</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Bolton C. and Davies J., (2002), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2335, 225 - 244</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/724792\" title=\"Distributed expertise for teaching computer organization &amp;amp; architecture\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/724792/@@modal\" class=\"state-synced\">Distributed expertise for teaching computer organization &amp;amp; architecture</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Cassel LB. et al, (2001), ITiCSE-WGR 2000 - Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, 111 - 126</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1145/571968.571973\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/456285\" title=\"Activity graphs and processes\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/456285/@@modal\" class=\"state-synced\">Activity graphs and processes</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Bolton C. and Davies J., (2000), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1945 LNCS, 77 - 96</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328811\" title=\"Using relational and behavioural semantics in the verification of object models\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328811/@@modal\" class=\"state-synced\">Using relational and behavioural semantics in the verification of object models</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Bolton C. and Davies J., (2000), IFIP Advances in Information and Communication Technology, 49 AICT, 163 - 182</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1007/978-0-387-35520-7_8\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/328798\" title=\"Activity graphs and processes\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/328798/@@modal\" class=\"state-synced\">Activity graphs and processes</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Bolton C. and Davies J., (2000), INTEGRATED FORMAL METHODS, PROCEEDINGS, 1945, 77 - 96</p>\n                \n                        \n                \n                    <p>\n                        \n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/735104\" title=\"Timed CSP: Theory and practice\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/735104/@@modal\" class=\"state-synced\">Timed CSP: Theory and practice</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Blarney SR. et al, (1992), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 600 LNCS, 640 - 675</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1007/BFb0032011\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n", 
        "\n\n    <div class=\"listing-item listing-item-publication\" itemscope itemprop=\"itemListElement\" itemtype=\"http://schema.org/PublicationVolume\">\n\n        <div class=\"row\">\n\n            \n\n            <div class=\"col-xs-12\">\n                            \n                \n                    <div class=\"pull-right\">\n                        \n                    </div>\n                \n            \n                <h2 class=\"media-heading\">\n                    <a href=\"https://www.bdi.ox.ac.uk/publications/102454\" title=\"Broadcast communication for real-time Processes\" data-toggle=\"modal\" data-target=\"#modal\" itemprop=\"name\" data-href=\"https://www.bdi.ox.ac.uk/publications/102454/@@modal\" class=\"state-synced\">Broadcast communication for real-time Processes</a>\n                </h2>\n  \n                \n                    <p class=\"categories-list\">\n                        \n                            <span class=\"label label-primary\">Conference paper</span>\n                        \n                    </p>\n                \n\n                \n                \n                        \n                    <p itemprop=\"description\">Davies J. et al, (1991), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 571 LNCS, 149 - 169</p>\n                \n                        \n                \n                    <p>\n                        <div class=\"altmetric-embed\" data-badge-popover=\"left\" data-badge-type=\"2\" data-doi=\"10.1007/3-540-55092-5_9\" data-hide-less-than=\"50\" data-link-target=\"_blank\"></div>\n                    </p>\n                \n                \n            </div>\n\n        </div>\n\n    </div>\n\n\n"
    ], 
    "more": "\n\n    \n\n", 
    "msg": ""
}