Cited By
View all- Lucanu DŞerbăźNuźăź TRoşu G(2016)Towards a $$\mathbb {K}$$Kool FutureEssays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 966010.1007/978-3-319-30734-3_22(325-343)Online publication date: 1-Jan-2016
- Caromel DHenrio LSerpette B(2009)Asynchronous sequential processesInformation and Computation10.1016/j.ic.2008.12.004207:4(459-495)Online publication date: 1-Apr-2009
- Line CJayaram KEugster PVeiga LAmaral V(2008)Lazy argument passing in Java RMIProceedings of the 6th international symposium on Principles and practice of programming in Java10.1145/1411732.1411750(127-136)Online publication date: 9-Sep-2008
- Show More Cited By