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: 0001:Wang_Yi
Contributed to:
1991
1997
20162017Wrote 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.