Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Ready trace semantics for concrete process algebra with priority operator

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    159 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Aantal pagina's21
    StatusGepubliceerd - 1985

    Publicatie series

    NaamCWI report. CS-R
    Volume8517
    ISSN van geprinte versie0169-118X

    Citeer dit