Zoekresultaten
Resultaat 1 - 15 (van 15)
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 | 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
W.J. Fokkink | R.J. van Glabbeek Ntyft/ntyxt rules reduce to ntree rules
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
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 | W.P. Weijland Refinement in branching time semantics
Non-fictie
Engels | 6 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
R.J. van Glabbeek | W.P. Weijland Branching time and abstraction in bisimulation semantics
(extended abstract)
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
R.J. van Glabbeek | F.W. Vaandrager Modular specifications in process algebra
with curious queues
Non-fictie
Engels | 49 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
P.H. Rodenburg | R.J. van Glabbeek An interpolation theorem in equational logic
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.C.M. Baeten | R.J. van Glabbeek Abstraction and empty process in process algebra
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.C.M. Baeten | R.J. van Glabbeek Another look at abstraction in process algebra
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.C.M. Baeten | R.J. van Glabbeek Merge and termination in process algebra
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
R.J. van Glabbeek Notes on the methodology of CCS and CSP
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
R.J. van Glabbeek Bounded nondeterminism and the approximation induction principle in process algebra
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek