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 × Spain
Collaborated with:
Morteza Mohaqeqi J.Abdullah K.J.Kristoffersen F.Laroussinie K.G.Larsen P.Pettersson
Talks about:
time (4) model (3) real (3) graph (2) task (2) interleav (1) synchron (1) protocol (1) composit (1) digraph (1)

Person: Wang Yi 0001

DBLP DBLP: 0001:Wang_Yi

Contributed to:

ICALP 19911991
Ada-Europe 20162016
Ada-Europe 20172017

Wrote 4 papers:

ICALP-1991-Yi #realtime
CCS + Time = An Interleaving Model for Real Time Systems (WY0), pp. 217–228.
TAPSOFT-1997-KristoffersenLLPY #composition #protocol #proving #realtime
A Compositional Proof of a Real-Time Mutual Exclusion Protocol (KJK, FL, KGL, PP, WY0), pp. 565–579.
AdaEurope-2016-MohaqeqiAY #analysis #data flow #graph #modelling #realtime #using
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.
AdaEurope-2017-MohaqeqiA0 #ada #execution #graph #semantics
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.

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.