Bisimulation semantics for concurrency with atomicity and action refinement

J.W. Bakker, de, E.P. Vink, de

    Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

    8 Citaten (Scopus)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Bisimulation semantics for concurrency with atomicity and action refinement'. Samen vormen ze een unieke vingerafdruk.

    Computer Science