Nils Gesbert
AuthID: R-006-WHW
1
TITLE: Session types as generic process types Full Text
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A;
PUBLISHED: 2014, SOURCE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A;
PUBLISHED: 2014, SOURCE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef