A complete axiomatization for prefix iteration in branching bisimulation
W.J. Fokkink
A complete axiomatization for prefix iteration in branching bisimulation
In het kort
ISBN-13
9789039306970
Uitgever
Verschenen
1 juli 1995
Bibliografisch
ISBN-139789039306970
SerieLogic group preprint series — deel 126
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01W.J. Fokkink
Herkomst
Werk-id (NSTC)500818182
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500818182 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026









