35,492 Hits in 6.4 sec

Foundations of Session Types and Behavioural Contracts

Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara
2016 ACM Computing Surveys  
Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments of the last 20 years within these two approaches.  ...  Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input  ...  Two notions of behavioural types that have attracted interest are those of session types and behavioural contracts, and in this article we provide a survey of the most relevant work on the foundations  ... 
doi:10.1145/2873052 fatcat:zpqnnmimwrglxeulwo4duwqbw4

Combining behavioural types with security analysis

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
2015 Journal of Logical and Algebraic Methods in Programming  
Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems.  ...  This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties.  ...  Acknowledgments We acknowledge support from COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) and we thank the members of BETTY working group on Security (WG2) for  ... 
doi:10.1016/j.jlamp.2015.09.003 fatcat:rm7xhow7svfifmi7scszrk6ipm

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)

Simon Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida, Marc Herbstritt
2017 Dagstuhl Reports  
Perhaps the most well-known form of behavioural types is session types, which are type-theoretic specifications of communication protocols.  ...  This report documents the programme and the outcomes of Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types".  ...  Further study of process equivalence. The relationship between intuitionistic and classical formulations of the logical foundation of session types.  ... 
doi:10.4230/dagrep.7.1.158 dblp:journals/dagstuhl-reports/GayVWY17 fatcat:nl4mfyez5bchrdomocb6qsfpkq

Choreography Synthesis as Contract Agreement

Julien Lange, Alceste Scalas
2013 Electronic Proceedings in Theoretical Computer Science  
We propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are started when a set of contracts  ...  Our framework is based on the CO2 calculus for contract-oriented computing, and borrows concepts and results from the session type literature.  ...  Region of Sardinia under grants L.R.7/2007 CRP-17285 (TRICS), P.I.A. 2010 Project "Social Glue", and by MIUR PRIN 2010-11 project "Security Horizons".  ... 
doi:10.4204/eptcs.131.6 fatcat:357cr3ozpjggpjsq2so7jpfdiy

Scribbling Interactions with a Formal Foundation [chapter]

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2011 Lecture Notes in Computer Science  
, called session types.  ...  The execution of a largescale distributed system consists of many structured conversations (or sessions) whose protocols can be clearly and accurately specified using a theory of types for the π-calculus  ...  of the key theoretical foundations on which Scribble is based.  ... 
doi:10.1007/978-3-642-19056-8_4 fatcat:76cikyol4zh7dcywj6gizh3uoe

Developing Honest Java Programs with Diogenes [chapter]

Nicola Atzei, Massimo Bartoletti
2016 Lecture Notes in Computer Science  
The idea is a dynamic discovery and composition of services, where only those with compliant contracts can interact, and their execution is monitored to detect and sanction contract breaches.  ...  Some recent works have proposed to discipline the interaction among these services through behavioural contracts.  ...  Reg. of Sardinia P.I.A. 2013 "NOMAD", and by EU COST Action IC1201 "Behavioural Types for Reliable Large-Scale Software Systems" (BETTY). Developing honest Java programs with Diogenes  ... 
doi:10.1007/978-3-319-39570-8_4 fatcat:7wyw5kfpzvfehbr3bsd6jwofom

Page 1207 of Psychological Abstracts Vol. 85, Issue 3 [page]

1998 Psychological Abstracts  
contracts - lan Stewart Process contracts - Adrienne Lee Contracts and harmful behaviour - Geoff Mothersole The contract boundary - Louise Embleton Tudor Making contracts with different personality types  ...  Discussing different types of contract such as the business contract, the treatment contract and the supervisor’s contract, the book looks at both the benefits and limitations of con- tracting.  ... 

Choreographies in the wild

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
2015 Science of Computer Programming  
We show that systems of honest participants (which always adhere to their contracts) enjoy progress and session fidelity.  ...  In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise a choreography.  ...  We would like to thank Emilio Tuosto for his (in)valuable advice, and the anonymous reviewers of ICE 2013 for their comments and suggestions.  ... 
doi:10.1016/j.scico.2014.11.015 fatcat:qgy4mgxf2jh53p7o444ovgrrem

Page 1144 of Psychological Abstracts Vol. 63, Issue 5 [page]

1980 Psychological Abstracts  
In each group, contingency contracts were introduced at the 2nd, 3rd, 4th, or Sth session and continued in each group until the last session.  ...  Behaviour Research & Therapy, 1978, Vol 16(6), 421-427. —60 undergraduates in groups matched for severity and chronicity of nail-biting were given 4-session aversion therapy treatments (experimental groups  ... 

Sessions and Session Types: An Overview [chapter]

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2010 Lecture Notes in Computer Science  
We illustrate the concepts of sessions and session types as they have been developed in the setting of the π-calculus.  ...  we survey together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.  ...  We gratefully thank Giuseppe Castagna, Ilaria Castellani, Vasco Vasconcelos, Simon Gay, and Luca Padovani for their comments and suggestions on an early draft of the present paper.  ... 
doi:10.1007/978-3-642-14458-5_1 fatcat:enuzkptjcranrizbvhoco4chdm

Structuring Communication with Session Types [chapter]

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2014 Lecture Notes in Computer Science  
In this paper, we introduce basic ideas of sessions and session types, outline their key technical elements, and discuss how they may be usable for programming, drawing from our experience and comparing  ...  Session types are types for distributed communicating processes.  ...  This work is partially supported by the Ocean Observatories Initiative, EPSRC grants EP/F002114/1, EP/G015481/1 and EP/G015635/1, and EPSRC KTS.  ... 
doi:10.1007/978-3-662-44471-9_5 fatcat:twguohmr75efrlrjyxai2ga33u

Can compliance with nonpharmacologic treatments for cardiovascular disease be improved?21The full text of this article is available via AJPM Online at review was undertaken on behalf of and funded by the National Heart Foundation of Australia. The authors would like to thank Professor Brian Haynes and Dr. Denise Ruth for reviewing the list of located studies, Kathy Rainbird for double-coding references, Rosemary Omwandho for tirelessly tracking down the numer ...

Sallie A. Newell, Jennifer A. Bowman, Jill D. Cockburn
2000 American Journal of Preventive Medicine  
unsuccessful; and patient-focussed strategies were of mixed benefit.  ...  Data Sources: Medline, Healthplan and Psychlit were searched from 1985 to 1996; the bibliographies of located studies were searched; Australian government departments and nongovernment organisations were  ...  Acknowledgments This review was undertaken on behalf of and funded by the National Heart Foundation of Australia.  ... 
doi:10.1016/s0749-3797(99)00157-9 pmid:10722993 fatcat:2kz2b75icvho5f2sluxzlnh6em

Multiparty Sessions based on Proof Nets

Dimitris Mostrous
2014 Electronic Proceedings in Theoretical Computer Science  
The system includes a synchronisation mechanism, obtained by a conservative extension of the logic, that enables to define non-deterministic behaviours and multiparty sessions.  ...  Let us distinguish multiparty behaviours and the multiparty session types (global types) of [12] .  ...  Introduction Since their inception, sessions [11, 19] and multiparty sessions [12] have been gaining momentum as a very useful foundation for the description and verification of structured interactions  ... 
doi:10.4204/eptcs.155.1 fatcat:gifehcrej5datjmr4ikrcwwuqm

Affine Sessions [article]

Dimitris Mostrous, Vasco T. Vasconcelos
2018 arXiv   pre-print
Crucial to any language with session types is the notion of linearity, which is essential to ensure that channels exhibit the behaviour prescribed by their type without interference in the presence of  ...  Session types describe the structure of communications implemented by channels.  ...  Acknowledgement We would like to thank the anonymous reviewers of COORDINATION'14 and of LMCS, and also Nobuko Yoshida, Hugo Torres Vieira, Francisco Martins, and the members of the Gloss group at the  ... 
arXiv:1809.02781v1 fatcat:4lqld7kp7vahrnqnds4jkhille

An Innovative Short-term, Intensive, Family-based Treatment for Adolescent Anorexia Nervosa: Case Series

Roxanne E. Rockwell, Kerri Boutelle, Mary Ellen Trunko, M. Joy Jacobs, Walter H. Kaye
2011 European eating disorders review  
Method: Data were obtained from a retrospective chart review and a follow-up of cases at 52 to 738 days (mean = 278.4, SD = 193.8) post-treatment.  ...  Objective: In order to improve the dissemination of new expert-based treatments for adolescents with anorexia nervosa, we have developed an innovative 1-week intensive family-based evaluation and treatment  ...  Acknowledgements We would like to thank the Peterson Foundation, the Price Foundation, and the Davis and Wismer Foundations for their support. Anorexia Nervosa Family Therapy R. E. Rockwell et al.  ... 
doi:10.1002/erv.1094 pmid:21308869 fatcat:5feokbohxff3nbi6tuio2iumiq
« Previous Showing results 1 — 15 out of 35,492 results