Ready-trace semantics for concrete process algebra with the priority operator

J.C.M. Baeten, J.A. Bergstra, J.W. Klop

    Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Populair

    50 Citaten (Scopus)
    149 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Ready-trace semantics for concrete process algebra with the priority operator'. Samen vormen ze een unieke vingerafdruk.

    Computer Science