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 × Austria
1 × USA
1 × United Kingdom
2 × Sweden
Collaborated with:
U.Montanari R.Cleaveland P.Inverardi M.Pistore S.P.Iyer C.Priami B.Krishnamurthy
Talks about:
parametr (2) framework (1) approach (1) abstract (1) transit (1) process (1) practic (1) equival (1) bisimul (1) system (1)

Person: Daniel Yankelevich

DBLP DBLP: Yankelevich:Daniel

Contributed to:

ESOP 19961996
SAS 19951995
POPL 19941994
ICALP 19931993
ICALP 19921992

Wrote 6 papers:

ESOP-1996-MontanariPY #equivalence #performance
Efficient Minimization up to Location Equivalence (UM, MP, DY), pp. 265–279.
SAS-1995-CleavelandIY #abstraction #model checking
Optimality in Abstractions of Model Checking (RC, SPI, DY), pp. 51–63.
POPL-1994-CleavelandY #framework #process
An Operational Framework for Value-Passing Processes (RC, DY), pp. 326–338.
ICALP-1993-InverardiPY #bisimulation #parametricity
Extended Transition Systems for Parametric Bisimulation (PI, CP, DY), pp. 558–569.
ICALP-1992-MontanariY #approach #parametricity
A Parametric Approach to Localities (UM, DY), pp. 617–628.
TAPSOFT-1993-InverardiKY #case study #formal method #named #using
Yeast: A Case Study for a Practical Use of Formal Methods (PI, BK, DY), pp. 105–120.

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.