BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Poland
1 × Portugal
3 × Estonia
3 × Germany
5 × USA
Collaborated with:
B.Ploeger Y.Deng C.Morgan P.Höfner D.J.D.Hughes G.D.Plotkin J.C.M.Baeten W.J.Fokkink M.Hennessy C.Zhang A.Fehnker A.McIver M.Portmann W.L.Tan U.Goltz J.Schicke-Uffmann B.Bloom W.Fokkink E.Bres S.A.Smolka B.Steffen C.M.N.Tofts
Talks about:
process (6) probabilist (4) algebra (3) test (3) precongru (2) algorithm (2) wireless (2) preorder (2) abstract (2) network (2)

Person: Rob J. van Glabbeek

DBLP DBLP: Glabbeek:Rob_J=_van

Contributed to:

ESOP 20122012
FOSSACS 20122012
TACAS 20122012
QAPL 20112011
CAV 20082008
CIAA 20082008
ESOP 20072007
LICS 20072007
LICS 20032003
LICS 20002000
ICALP 19961996
LICS 19951995
LICS 19901990
ICALP 19871987
ESOP 20162016
CSL 20172017

Wrote 16 papers:

ESOP-2012-FehnkerGHMPT #algebra #network #process
A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
FoSSaCS-2012-GlabbeekGS #on the #petri net
On Distributability of Petri Nets — (RJvG, UG, JWSU), pp. 331–345.
TACAS-2012-FehnkerGHMPT #analysis #automation #using
Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
QAPL-2011-DengGHM #probability #process #testing
Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.
CAV-2008-GlabbeekP #algorithm #simulation
Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CIAA-2008-GlabbeekP #algorithm #nondeterminism
Five Determinisation Algorithms (RJvG, BP), pp. 161–170.
ESOP-2007-DengGMZ #probability #testing
Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
LICS-2007-DengGHMZ #finite #probability #process #testing
Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
LICS-2003-HughesG #linear #logic #multi #proving
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (DJDH, RJvG), pp. 1–10.
Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.
ICALP-1996-Glabbeek #specification
The Meaning of Negative Premises in Transition System Specifications II (RJvG), pp. 502–513.
Configuration Structures (RJvG, GDP), pp. 199–209.
LICS-1990-GlabbeekSST #generative #modelling #probability #process
Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.
ICALP-1987-BaetenG #abstraction #algebra #process
Another Look at Abstraction in Process Algebra (JCMB, RJvG), pp. 84–94.
ESOP-2016-BresGH #algebra #network #process
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) (EB, RJvG, PH), pp. 95–122.
CSL-2017-FokkinkG #composition #lookahead
Precongruence Formats with Lookahead through Modal Decomposition (WJF, RJvG), p. 20.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.