Publications
373 results found
Mostrous D, Yoshida N, Honda K, 2009, Global Principal Typing in Partially Commutative Asynchronous Sessions, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software, Publisher: SPRINGER-VERLAG BERLIN, Pages: 316-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 62
Mostrous D, Yoshida N, 2009, Session-Based Communication Optimisation for Higher-Order Mobile Processes, 9th International Conference on Typed Lambda Calculi and Applications, Publisher: SPRINGER-VERLAG BERLIN, Pages: 203-218, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 19
Yoshida N, Vasconcelos V, Paulino H, et al., 2009, Session-Based Compilation Framework for Multicore Programming, 7th International Symposium on Formal Methods for Components and Objects, Publisher: SPRINGER-VERLAG BERLIN, Pages: 226-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 7
Carbone M, Yoshida N, Honda K, 2009, Asynchronous Session Types: Exceptions and Multiparty Interactions, FORMAL METHODS FOR WEB SERVICES, Vol: 5569, Pages: 187-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 11
Pugliese R, Tiezzi F, Yoshida N, 2009, On Observing Dynamic Prioritised Actions in SOC, AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, Vol: 5556, Pages: 558-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 4
Araya JE, Cornejo A, Orrego PR, et al., 2008, Calcineurin B of the human protozoan parasite <i>Trypanosoma cruzi</i> is involved in cell invasion, MICROBES AND INFECTION, Vol: 10, Pages: 892-900, ISSN: 1286-4579
- Author Web Link
- Cite
- Citations: 28
Atayde VD, Jasiulionis MG, Cortez M, et al., 2008, A recombinant protein based on <i>Trypanosoma cruzi</i> surface molecule gp82 induces apoptotic cell death in melanoma cells, MELANOMA RESEARCH, Vol: 18, Pages: 172-183, ISSN: 0960-8931
- Author Web Link
- Cite
- Citations: 27
Yoshida N, 2008, <i>Trypanosoma cruzi</i> infection by oral route How the interplay between parasite and host components modulates infectivity, PARASITOLOGY INTERNATIONAL, Vol: 57, Pages: 105-109, ISSN: 1383-5769
- Author Web Link
- Cite
- Citations: 79
Carbone M, Honda K, Yoshida N, 2008, Theoretical Aspects of Communication-Centred Programming, Electronic Notes in Theoretical Computer Science, Vol: 209, Pages: 125-133, ISSN: 1571-0661
This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Services - Choreography Description Language (WS-CDL), a web service description language developed by W3C's WS-CDL Working Group. The local calculus is based on the π-calculus, one of the representative calculi for communicating processes. We illustrate these two descriptive frameworks, outline the static and dynamic semantics of these calculi, and discuss the basic idea of end-point projection, by which any well-formed description in the global calculus has a precise representation in the local calculus. © 2008 Elsevier B.V. All rights reserved.
Honda K, Yoshida N, Carbone M, 2008, Multiparty asynchronous session types, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08), Publisher: ASSOC COMPUTING MACHINERY, Pages: 273-284, ISSN: 0362-1340
Cordero EM, Gentil LG, Crisante G, et al., 2008, Expression of <i>GP82</i> and <i>GP90</i> surface glycoprotein genes of <i>Trypanosoma cruzi</i> during <i>in vivo</i> metacyclogenesis in the insect vector <i>Rhodnius prolixus</i>, ACTA TROPICA, Vol: 105, Pages: 87-91, ISSN: 0001-706X
- Author Web Link
- Cite
- Citations: 12
Honda K, Yoshida N, Carbone M, 2008, Multiparty asynchronous session types, ACM SIGPLAN Notices, Vol: 43, Pages: 273-284, ISSN: 1523-2867
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication- centred programming, session types have been studied over the last decade for a wide range of process calculi and programming languages, focussing on binary (two-party) sessions. This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centred applications. Presented as a typed calculus for mobile processes, the theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. Global types retain a friendly type syntax of binary session types while capturing complex causal chains of multiparty asynchronous interactions. A global type plays the role of a shared agreement among communication peers, and is used as a basis of efficient type checking through its projection onto individual peers. The fundamental properties of the session type discipline such as communication safety, progress and session fidelity are established for general n-party asynchronous interactions. Copyright © 2008 ACM.
Berger M, Honda K, Yoshida N, 2008, Completeness and logical full abstraction in, modal logics for typed mobile processes, 35th International Colloquium on Automata, Languages and Programming, Publisher: SPRINGER-VERLAG BERLIN, Pages: 99-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 14
Hu R, Yoshida N, Honda K, 2008, Session-based distributed programming in Java, 22nd European Conference on Object-Oriented Programming (ECOOP 2008), Publisher: SPRINGER-VERLAG BERLIN, Pages: 516-541, ISSN: 0302-9743
Dezani-Ciancaglini M, de'Liguoro U, Yoshida N, 2008, On progress for structured communications, TRUSTWORTHY GLOBAL COMPUTING, Vol: 4912, Pages: 257-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 60
Carbone M, Honda K, Yoshida N, 2008, Structured interactional exceptions in session types, CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, Vol: 5201, Pages: 402-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 38
Bettini L, Coppo M, D'Antoni L, et al., 2008, Global progress in dynamically interleaved multiparty sessions, CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, Vol: 5201, Pages: 418-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 115
Ahern A, Yoshida N, 2007, Formalising Java RMI with explicit code mobility, International Symposium on Trustworthy Global Computing, Publisher: ELSEVIER, Pages: 341-410, ISSN: 0304-3975
- Author Web Link
- Cite
- Citations: 6
Covarrubias C, Cortez M, Ferreira D, et al., 2007, Interaction with host factors exacerbates <i>Trypanosoma cruzi</i> cell invasion capacity upon oral infection, INTERNATIONAL JOURNAL FOR PARASITOLOGY, Vol: 37, Pages: 1609-1616, ISSN: 0020-7519
- Author Web Link
- Cite
- Citations: 40
Fernandes MC, Cortez M, Geraldo Yoneyama KA, et al., 2007, Novel strategy in <i>Trypanosoma cruzi</i> cell invasion:: Implication of cholesterol and host cell microdomains, INTERNATIONAL JOURNAL FOR PARASITOLOGY, Vol: 37, Pages: 1431-1441, ISSN: 0020-7519
- Author Web Link
- Cite
- Citations: 59
, 2007, Selected papers from the 12th International Workshop on Expressiveness of Concurrency, EXPRESS'05, San Francisco, USA, 27 August 2005, Theoretical Computer Science, Vol: 386
Varacca D, Yoshida N, 2007, Probabilistic π-Calculus and Event Structures, Electronic Notes in Theoretical Computer Science, Vol: 190, Pages: 147-166, ISSN: 1571-0661
This paper proposes two semantics of a probabilistic variant of the π-calculus: an interleaving semantics in terms of Segala automata and a true concurrent semantics, in terms of probabilistic event structures. The key technical point is a use of types to identify a good class of non-deterministic probabilistic behaviours which can preserve a compositionality of the parallel operator in the event structures and the calculus. We show an operational correspondence between the two semantics. This allows us to prove a "probabilistic confluence" result, which generalises the confluence of the linearly typed π-calculus. © 2007 Elsevier B.V. All rights reserved.
Coimbra VC, Yamamoto D, Khusal KG, et al., 2007, Enucleated L929 cells support invasion, differentiation, and multiplication of <i>Trypanosoma cruzi</i> parasites, INFECTION AND IMMUNITY, Vol: 75, Pages: 3700-3706, ISSN: 0019-9567
- Author Web Link
- Cite
- Citations: 12
Yoshida N, Vasconcelos VT, 2007, Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, Electronic Notes in Theoretical Computer Science, Vol: 171, Pages: 73-93, ISSN: 1571-0661
Session primitives and types provide a flexible programming style for structured interaction, and are used to statically check the safe and consistent composition of protocols in communication-centric distributed software. Unfortunately authors working on session types have recently realised that some of the previously published systems fail to satisfy the basic theorems of Subject Reduction and Type Safety. This report discusses the issues involved in higher-order session communication, presents a formulation of the recursive types as well as proofs of the Subject Reduction and Type Safety Theorems of the original session typing system by Honda-Vasconcelos-Kubo in ESOP'98. It also proposes a variant which allows a more liberal higher-order session communication, based on an idea of Gay and Hole. © 2007 Elsevier B.V. All rights reserved.
Egima CM, Macedo SF, Sasso GRS, et al., 2007, Co-infection with <i>Trypanosoma cruzi</i> protects mice against early death by neurological or pulmonary disorders induced by <i>Plasmodium berghei</i> ANKA, MALARIA JOURNAL, Vol: 6
- Author Web Link
- Cite
- Citations: 7
Berger M, Honda K, Yoshida N, 2007, A Logical Analysis of Aliasing in Imperative Higher-Order Functions, Journal of Functional Programming
Atayde VD, Cortez M, Souza R, et al., 2007, Expression and cellular localization of molecules of the gp82 family in <i>Trypanosoma cruzi</i> metacyclic trypomastigotes, INFECTION AND IMMUNITY, Vol: 75, Pages: 3264-3270, ISSN: 0019-9567
- Author Web Link
- Cite
- Citations: 7
Dezani-Ciancaglini M, Mostrous D, Yoshida N, et al., 2007, Session Types for Object-Oriented Languages, ECOOP'06, The 20th European Conference on Object-Oriented Programming, Publisher: Springer, Pages: 328-352, ISSN: 0302-9743
Yoshida N, Honda K, Berger M, 2007, Logical Reasoning for Higher-Order Functions with Local State, Berlin, Tenth International Conference on, Publisher: Springer, Pages: 361-377
Carbone M, Honda K, Yoshida N, 2007, Structured Communication-Centred Programming for Web Services, Berlin, European Symposium on Programming, Publisher: Springer, Pages: 2-17
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.