Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 24 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01354905v1 Communication dans un congrès Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro. Secure Multiparty Sessions with Topics PLACES 2016, Apr 2016, Eindhoven, Netherlands. EPTCS, 211, pp.12, 2016, Proceedings of the 9th workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. <10.4204/EPTCS.211.1>
	inria-00075078v1 Rapport Gérard Boudol, Ilaria Castellani. Flow models of distributed computations : three equivalent semantics for CCS [Research Report] RR-1484, INRIA. 1991
	inria-00075077v1 Rapport Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. Observing localities [Research Report] RR-1485, INRIA. 1991
	inria-00075080v1 Rapport Gérard Boudol, Ilaria Castellani. Flow models of distributed computations : event structures and nets [Research Report] RR-1482, INRIA. 1991
	inria-00074929v1 Rapport Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. A theory of processes with localities [Research Report] RR-1632, INRIA. 1992
	inria-00074395v1 Rapport Ilaria Castellani. Observing distribution in processes : static and dynamic localities RR-2276, INRIA. 1994
	inria-00073784v1 Rapport Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi. On Bisimulations for the Asynchronous pi-calculus RR-2913, INRIA. 1996
	inria-00075636v1 Rapport Gérard Boudol, Ilaria Castellani. A non-interleaving semantics for CCS based on proved transitions [Research Report] RR-0919, INRIA. 1988
	inria-00075481v1 Rapport Ilaria Castellani, Guo Qiang Zhang. Parallel product of event structures [Research Report] RR-1078, INRIA. 1989
	hal-00915241v1 Communication dans un congrès Pejman Attar, Ilaria Castellani. Fine-grained and coarse-grained reactive noninterference Trustworthy Global Computing 2013 - 8th International Symposium, Revised Selected Papers, Aug 2013, Buenos Aires, Argentina. Springer, Lecture Notes in Computer Science, 8358, pp.21, 2014, <http://dx.doi.org/10.1007/978-3-319-05119-2>. <10.1007/978-3-319-05119-2_10>
	hal-01088437v1 Communication dans un congrès Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez. Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective Third Workshop on Behavioural Types (BEAT 2014), Sep 2014, Rome, Italy. Electronic Proceedings in Theoretical Computer Science, 162, pp.9 - 18, 2014, <10.4204/EPTCS.162.2>
	inria-00511304v1 Rapport Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk. Session Types for Access and Information Flow Control [Research Report] RR-7368, INRIA. 2010, pp.48
	hal-01088782v1 Article dans une revue Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Typing access control and secure information flow in sessions Journal of Information and Computation, Elsevier, 2014, 238, pp.68 - 105. <10.1016/j.ic.2014.07.005>
	inria-00072334v1 Rapport Gérard Boudol, Ilaria Castellani. Noninterference for Concurrent Programs and Thread Systems RR-4254, INRIA. 2001
	inria-00070413v1 Rapport Ana Almeida Matos, Gérard Boudol, Ilaria Castellani. Typing Noninterference for Reactive Programs [Research Report] RR-5594, INRIA. 2006, pp.38
	inria-00076004v1 Rapport Gérard Boudol, Ilaria Castellani. On the semantics of concurrency :partial orders and transition systems [Research Report] RR-0550, INRIA. 1986, pp.15
	inria-00075804v1 Rapport Gérard Boudol, Ilaria Castellani. Concurrency and atomicity [Research Report] RR-0748, INRIA. 1987
	inria-00075753v1 Rapport Gérard Boudol, Ilaria Castellani. Permutation of transitions : an event structure semantics for CCS [Research Report] RR-0798, INRIA. 1988
	inria-00180168v1 Rapport Ilaria Castellani. State-oriented noninterference for CCS [Research Report] RR-6322, INRIA. 2007, pp.58
	inria-00075679v1 Rapport Ilaria Castellani, Matthew Hennessy. Distributed bisimulations [Research Report] RR-0875, INRIA. 1988
	hal-01213201v1 Article dans une revue Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan et al. Combining behavioural types with security analysis Journal of Logical and Algebraic Methods in Programming, Elsevier, 2015, pp.18. <Elsevier>. <10.1016/j.jlamp.2015.09.003>
	hal-00015838v1 Communication dans un congrès Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot. Reactive concurrent programming revisited Express, Sep 2006, France. Elsevier, 162, pp.49-60, 2006, Electronic Notes in Theoretical Computer Science, 162
	hal-01354906v1 Article dans une revue Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez. Self-adaptation and secure information flow in multiparty communications Formal Aspects of Computing, Springer Verlag, 2016, 28 (4), pp.28. <10.1007/s00165-016-0381-3>
	hal-01237236v1 Article dans une revue Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Information Flow Safety in Multiparty Sessions Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, Special Issue: EXPRESS'11, 26 (8), pp.1352-1394. <http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9495470&fileId=S0960129514000619>. <10.1017/S0960129514000619>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 24 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact