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 × Poland
1 × Switzerland
4 × Italy
Collaborated with:
N.Kokash C.Krause M.D.Lee J.J.M.M.Rutten J.C.Meyer A.d.Bruin J.W.d.Bakker T.A.C.Willemse D.Latella M.Massink D.Chkliaev J.Hooman E.Todoran J.d.Hartog M.H.t.Beek J.Proença D.Clarke F.Arbab S.Cranen J.F.Groote J.J.A.Keiren F.P.M.Stappers W.Wesselink
Talks about:
bisimul (3) mcrl (3) probabilist (2) transit (2) system (2) servic (2) semant (2) verif (2) model (2) data (2)

Person: Erik P. de Vink

DBLP DBLP: Vink:Erik_P=_de

Facilitated 1 volumes:

SFM 2013Ed

Contributed to:

QAPL 20152015
TACAS 20132013
SAC 20122012
SAC 20102010
SEFM 20102010
TACAS 20032003
ICALP 19971997
ILPS 19971997
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT, Vol.1: CAAP 19891989
TAPSOFT, Vol.2: ADC 19911991
FASE 20172017

Wrote 13 papers:

QAPL-2015-LatellaMV #bisimulation
A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.
QAPL-2015-LeeV #bisimulation #branch #congruence #probability
Rooted branching bisimulation as a congruence for probabilistic transition systems (MDL, EPdV), pp. 79–94.
TACAS-2013-CranenGKSVWW #overview #tool support
An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
SAC-2012-ProencaCVA #coordination #distributed #framework #named
Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
SAC-2010-KokashKV #composition #design #verification
Data-aware design and verification of service compositions with Reo and mCRL2 (NK, CK, EPdV), pp. 2406–2413.
SEFM-2010-KokashKV #analysis #modelling #visual notation
Time and Data-Aware Analysis of Graphical Service Models in Reo (NK, CK, EPdV), pp. 125–134.
TACAS-2003-ChkliaevHV #protocol #verification
Verification and Improvement of the Sliding Window Protocol (DC, JH, EPdV), pp. 113–127.
ICALP-1997-VinkR #algebra #approach #bisimulation #probability
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach (EPdV, JJMMR), pp. 460–470.
ILPS-1997-TodoranHV #commit #comparative #logic programming #metric #semantics
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming (ET, JdH, EPdV), pp. 101–115.
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract) (JJCM, EPdV), pp. 241–255.
CAAP-1989-BruinV #continuation #prolog #semantics
Continuation Semantics for PROLOG with Cut (AdB, EPdV), pp. 178–192.
ADC-1991-BakkerV #object-oriented
CCS for OO and LP (JWdB, EPdV), pp. 1–28.
FASE-2017-BeekVW #model checking
Family-Based Model Checking with mCRL2 (MHtB, EPdV, TACW), pp. 387–405.

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.