Zoekresultaten
Resultaat 1 - 5 (van 5)
R.J. van Glabbeek Comparative concurrency semantics and refinement of actions
Non-fictie
Engels | 275 pagina's | Centrum voor Wiskunde en Informatica | 1990
Gedrukt boek
R.J. van Glabbeek | W.P. Weijland Branching time and abstraction in bisimulation semantics
Non-fictie
Engels | 52 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
R.J. van Glabbeek The linear time-branching time spectrum
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
R.J. van Glabbeek The refinement theorem for ST-bisimulation semantics
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
R.J. van Glabbeek | F.W. Vaandrager The difference between splitting in n and n+l
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek