Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
The RE command
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Home
–
Contact
@InProceedings{chen-huang-10, author = "Jun-Qing Chen and Linpeng Huang", title = "A Type System for Behavior Consistent Service Substitution in Service Compositions", year = "2010", pages = "208--213", editor = "Ji Wang and W. K. Chan and Fei-Ching Kuo", publisher = "IEEE Computer Society", booktitle = "QSIC", url = "http://dx.doi.org/10.1109/QSIC.2010.20", }