フォロー
Rob van Glabbeek
Rob van Glabbeek
UNSW
確認したメール アドレス: cs.stanford.edu - ホームページ
タイトル
引用先
引用先
年
The linear time-branching time spectrum I. The semantics of concrete, sequential processes
RJ Van Glabbeek
Handbook of process algebra, 3-99, 2001
15222001
Branching time and abstraction in bisimulation semantics
RJ Van Glabbeek, WP Weijland
Journal of the ACM (JACM) 43 (3), 555-600, 1996
12261996
The linear time-branching time spectrum II: the semantics of sequential systems with silent moves.
RJ van Glabbeek
CONCUR'93, 66-81, 1993
767*1993
Reactive, generative, and stratified models of probabilistic processes
RJ VanGlabbeek, SA Smolka, B Steffen
Information and Computation 121 (1), 59-80, 1995
7171995
Petri net models for algebraic theories of concurrency
R Van Glabbeek, F Vaandrager
International Conference on Parallel Architectures and Languages Europe, 224-242, 1987
4281987
Refinement of actions and equivalence notions for concurrent systems
R van Glabbeek, U Goltz
Acta Informatica 37 (4-5), 229-327, 2001
380*2001
Equivalence notions for concurrent systems and refinement of actions
R van Glabbeek, U Goltz
Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland …, 1989
3121989
Comparative concurrency semantics and refinement of actions
RJ van Glabbeek
Centrum voor Wiskunde en Informatica, 1990
230*1990
Configuration structures
RJ Van Glabbeek, GD Plotkin
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 199-209, 1995
1691995
On the expressiveness of higher dimensional automata
RJ van Glabbeek
Theoretical computer science 356 (3), 265-290, 2006
1592006
Refinement of actions in causality based models
R van Glabbeek, U Goltz
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
1501990
Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra
RJ van Glabbeek
STACS 87, 336-347, 1987
1431987
Configuration structures, event structures and Petri nets
RJ van Glabbeek, GD Plotkin
Theoretical Computer Science 410 (41), 4111-4159, 2009
1292009
Characterising testing preorders for finite probabilistic processes
Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang
Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on …, 2007
1252007
Document controlled workflow systems and methods
DG Stork, R Van Glabbeek
US Patent 7,120,699, 2006
1142006
Branching bisimilarity with explicit divergence
R van Glabbeek, B Luttik, N Trčka
Fundamenta Informaticae 93 (4), 371-392, 2009
992009
The refinement theorem for ST-bisimulation semantics
RJ van Glabbeek
Centre for Mathematics and Computer Science, 1990
981990
A process algebra for wireless mesh networks
A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
952012
Proof nets for unit-free multiplicative-additive linear logic
DJD Hughes, RJ van Glabbeek
LICS, 1-10, 2003
952003
Ntyft/ntyxt rules reduce to ntree rules
W Fokkink, RJ van Glabbeek
Information and Computation 126 (1), 1-10, 1996
951996
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20