Search for Author All Reviews
	Cardelli, Luca     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems Cauchi N., Laurenti L., Lahijanian M., Abate A., Kwiatkowska M., Cardelli L.  HSCC 2019 (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, Apr 16-18, 2019) 240-251, 2019.  Type: Proceedings Hybrid systems are those “with both continuous dynamics and discrete logic” [1]. The discrete logic serves to label or parametrize (my terms) states; state-specific continuous dynamics, modeled largely if not exclus...... Jul 12 2019     A theory of distributed objects Caromel D., Henrio L., Cardelli L., Springer-Verlag New York, Inc., Secaucus, NJ, 2004. 300 pp.  Type: Book (9783540208662) This book mainly presents the theory behind using objects to act as interacting entities in a globally distributed computation, which will lead to greater scalability and system performance. A theoretic foundation is presented to show ...... Jan 11 2006     Secrecy and group creation Cardelli L., Ghelli G., Gordon A. Information and Computation 196(2): 127-155, 2005.  Type: Article Type systems for the pi-calculus have gained interest over the last few years as a framework for the analysis of security protocols. In this paper, the authors develop an extended, typed pi-calculus based on the notion of a group. Unde...... Aug 2 2005     Modern concurrency abstractions for C# Benton N., Cardelli L., Fournet C. ACM Transactions on Programming Languages and Systems 26(5): 769-804, 2004.  Type: Article Polyphonic C#, an extension of the C# language, is presented in this paper. It is based on the join calculus, and seeks to facilitate the development of concurrent programs. The main new features are asynchronous methods, and so-called...... Nov 2 2004     On subtyping and matching Abadi M., Cardelli L. ACM Transactions on Programming Languages and Systems 18(4): 401-423, 1996.  Type: Article Subtyping is a basic concept in object-oriented programming. The subtyping relation can be readily defined for first-order constructs such as record, object, function, and recursive types. It can be extended to second-order constructs ...... Dec 1 1997     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy