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 × Brazil
1 × United Kingdom
2 × France
Collaborated with:
N.Yoshida K.Honda M.Dezani-Ciancaglini S.Drossopoulou
Talks about:
session (4) type (3) process (2) higher (2) order (2) mobil (2) asynchron (1) communic (1) princip (1) partial (1)

Person: Dimitris Mostrous

DBLP DBLP: Mostrous:Dimitris

Contributed to:

ESOP 20092009
TLCA 20092009
TLCA 20072007
ECOOP 20062006

Wrote 4 papers:

ESOP-2009-MostrousYH #commutative #type system
Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.
TLCA-2009-MostrousY #communication #higher-order #mobile #optimisation #process
Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.
TLCA-2007-MostrousY #higher-order #mobile #process #type system
Two Session Typing Systems for Higher-Order Mobile Processes (DM, NY), pp. 321–335.
ECOOP-2006-Dezani-CiancagliniMYD #object-oriented
Session Types for Object-Oriented Languages (MDC, DM, NY, SD), pp. 328–352.

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.