4,466 Hits in 2.5 sec

A Semantic Deconstruction of Session Types [chapter]

Massimo Bartoletti, Alceste Scalas, Roberto Zunino
2014 Lecture Notes in Computer Science  
We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems.  ...  The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types.  ...  We study a behavioural theory of session types, aimed at unifying the notions of typing and subtyping, including both synchronous/asynchronous semantics.  ... 
doi:10.1007/978-3-662-44584-6_28 fatcat:gzpfg2kwsrc3xjkfuybv572cra


Juan Caballero, Pongsin Poosankam, Christian Kreibich, Dawn Song
2009 Proceedings of the 16th ACM conference on Computer and communications security - CCS '09  
We implement our techniques into Dispatcher, a tool to extract the message format and field semantics of both received and sent messages.  ...  In this paper, we propose techniques to extract the format of protocol messages sent by an application that implements a protocol specification, and to infer the field semantics for messages both sent  ...  ACKNOWLEDGEMENTS We thank Robin Sommer for providing us with a stand-alone version of BinPac.  ... 
doi:10.1145/1653662.1653737 dblp:conf/ccs/CaballeroPKS09 fatcat:dfj2k4s3gfemdoanslwrzb627i

Automatic protocol reverse-engineering: Message format extraction and field semantics inference

Juan Caballero, Dawn Song
2013 Computer Networks  
the message structure and its semantics.  ...  It also implemented semantics inference techniques for both sent and received messages, which we had previously introduced in a Technical Report in 2007 [22] .  ...  Acknowledgements We would like to thank our co-authors Christian Kreibich, Zhenkai Liang, Pongsin Poosankam, and Heng Yin for their contributions to the two papers that form the basis of this work.  ... 
doi:10.1016/j.comnet.2012.08.003 fatcat:vcoamkohkjc5vhaa6bnmlg2l3i

Service Equivalence via Multiparty Session Type Isomorphisms

Assel Altayeva, Nobuko Yoshida
2019 Electronic Proceedings in Theoretical Computer Science  
We achieve this by employing trace semantics over a collection of local types and introducing meta abstractions over the syntax of global types.  ...  We utilise the theory of Multiparty Session Types (MPST).  ...  Trace Semantics for MPST The first study of the expressiveness of multiparty session types through trace semantics is given in [6] .  ... 
doi:10.4204/eptcs.291.1 fatcat:uzr4semqirf5njtqjyubfolfr4

LILES System: Guiding and Analyzing Cognitive Visualization in Beginning and Intermediate Kanji Learners

2011 IEICE transactions on information and systems  
Luis INOSTROZA CUEVA †a) , Nonmember and Masao MUROTA †b) , Member SUMMARY This paper provides conceptual and experimental analysis of a new approach in the study of kanji, our "Learner's Visualization  ...  During the learning experience, our LILES System (Learner's Introspective Latent Envisionment System), based on the LV Approach, guides learners to choose from a set of possible "kanji deconstruction layouts  ...  Acknowledgments This study was supported by a Grant from the Ministry of Education of the Japanese Government, the Monbukagakusho Scholarship, to the first author.  ... 
doi:10.1587/transinf.e94.d.1449 fatcat:4giqikj35jfq3o5brvpehnq7p4

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Benedikt Schmidt, Simon Meier, Cas Cremers, David Basin
2012 2012 IEEE 25th Computer Security Foundations Symposium  
We analyze them using a novel constraint-solving algorithm that supports both falsification and verification, even in the presence of an unbounded number of protocol sessions.  ...  For example, the algorithm successfully verifies the NAXOS protocol with respect to a symbolic version of the eCK security model.  ...  We use tags to forbid two types of redundancies. First, we forbid using a deconstruction rule to deconstruct the result of a construction rule.  ... 
doi:10.1109/csf.2012.25 dblp:conf/csfw/SchmidtMCB12 fatcat:uh5wphwlebbsvagnitzpywgple

Deconstructing automobile messaging: Clues to brand strategy

Howard Moskowitz, Barbara Itty, Carly Fink, Jeffrey Ewald
2003 Journal of Database Marketing & Customer Strategy Management  
types of measures?)  ...  In contrast, creativity may not flow as well when the respondents in the creative session are of different minds.  ...  The deconstruction analysis indicates that there are at least four clearly defined segments in the population, and at least three segments that show strong reactions to different types of elements.  ... 
doi:10.1057/palgrave.jdm.3240110 fatcat:5ivjarvngrdbngqhgwn3ywg3oa

Deconstructing Incongruence: A Psycho-semiotic Approach toward Difference in the Film-Music Relationship

2015 Music and the Moving Image  
This article summarizes the incongruent perspective, a psycho-semiotic approach towards the study of film-music difference that is contextualized by poststructuralist thought.  ...  Examples are cited from empirical research conducted alongside the initial theoretical deconstruction to demonstrate: how the perspective theorizes various levels of film-music difference, and their impact  ...  comprise a scene, allowing for more conscious consideration of differences within the text and with other texts or types of film-music construction.  ... 
doi:10.5406/musimoviimag.8.2.0048 fatcat:vs4kxrc7dzdf7l6gavh5cozzwq

Cryptographic Protocol Explication and End-Point Projection [chapter]

Jay McCarthy, Shriram Krishnamurthi
2008 Lecture Notes in Computer Science  
In contrast, traditional protocol descriptions as found in a state of nature tend to employ a whole-protocol description, resulting in an impedance mismatch.  ...  We therefore present our second result, a transformation that identifies and eliminates these implicit patterns, thereby preparing protocols for end-point projection.  ...  We are grateful for the advice and encouragement of Joshua Guttman and John Ramsdell.  ... 
doi:10.1007/978-3-540-88313-5_34 fatcat:jvuwbahhung3flsakdzg2ojjqi

Page 1395 of Linguistics and Language Behavior Abstracts: LLBA Vol. 29, Issue 3 [page]

1995 Linguistics and Language Behavior Abstracts: LLBA  
; 9505535 modern translation theory concepts, deconstructive approach; 9505191 natural language generation, historical information integration, revi- sion-based text generator design; 9506023 natural language  ...  German socialist writer’s linguistic alienation; 9506445 written language instruction, creative writing self-learning, mediathe- ques; 9505073 Creativity (Linguistics) African novels’ onomastics, head of  ... 

Dynamics of subjective change in psychotherapy. A Comment on the Paper "Dynamics of sense-making and development of the narrative in the clinical exchange" by Alessandro Gennaro, Miguel Gonçalves, Inês Mendes, António Ribeiro, & Sergio Salvatore

Mariane Krause, Claudio Martínez
2011 Research in Psychotherapy Psychopathology Process and Outcome  
The following comment has been divided into four sections that present a critical discussion on: (1) the theoretical background of the paper; (2) the two methods used: Discourse Flow Analysis (DFA) and  ...  The transit towards formality only occurs in the classification stage of types of I-Moments and then in the determination of the salience of IMs within a session or group of sessions.  ...  Semantic contents are only relevant for DFA as they warrant the use of a computer mechanism to group them, but this grouping loses all its referential meaning due to the deconstruction of the patient's  ... 
doi:10.4081/ripppo.2011.68 fatcat:pccl3xswh5d3hgvnx5ksuqfmfy

Dynamics of sense-making and development of the narrative in the clinical exchange

Alessandro Gennaro, Miguel Gonçalves, Inês Mendes, António Ribeiro, Sergio Salvatore
2011 Research in Psychotherapy Psychopathology Process and Outcome  
The comparison concerns a 15-session good outcome Emotion-Focused Therapy (Lisa's case).  ...  To this end the relationship between the formal and functional mapping of a psychotherapy carried out by the Discourse Flow Analysis (DFA) and the analysis of the patient's narrative provided by the Innovative  ...  Super Order Nodes are calculated as the percentage of nodes of the network having both high frequency, calculated as more than a 1.5 ratio between token (occurrences of a given thematic content) and type  ... 
doi:10.4081/ripppo.2011.44 fatcat:zq7rrml365hq3os62yvygygysu

Unpleasant meditation-related experiences in regular meditators: Prevalence, predictors, and conceptual considerations

Marco Schlosser, Terje Sparby, Sebastjan Vörös, Rebecca Jones, Natalie L. Marchant, Dusana Dorjee
2019 PLoS ONE  
Participants with higher levels of repetitive negative thinking, those who only engaged in deconstructive types of meditation (e.g., vipassana/insight meditation), and those who had attended a meditation  ...  However, a growing number of reports indicate that psychologically unpleasant experiences can occur in the context of meditation practice.  ...  A binary variable to denote deconstructive and non-deconstructive meditation types was generated (meditation type).  ... 
doi:10.1371/journal.pone.0216643 pmid:31071152 pmcid:PMC6508707 fatcat:3bsthxcaszdirjuff7dkvhaeae

Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes [article]

Fabrizio Montesi, Marco Peressotti
2021 arXiv   pre-print
In particular, the hallmark of session types, session fidelity, still has to be reconstructed: a correspondence between the observable behaviours of processes and their session types, in terms of labelled  ...  What remains is reconstructing the expected metatheory of session types and the π-calculus.  ...  Our lts for typing environments is the first observable semantics of session types rooted in linear logic. Session type dynamics give an abstract view of the execution of protocols.  ... 
arXiv:2106.11818v1 fatcat:yezqvwkjbjfjfi5w77zwvgcgze

Talking bananas: structural recursion for session types

Sam Lindley, J. Garrett Morris
2016 SIGPLAN notices  
We give a novel account of recursive session types in the context of GV, a small concurrent extension of the linear λ-calculus.  ...  We extend GV with recursive types and catamorphisms, following the initial algebra semantics of recursion, and show that doing so naturally gives rise to recursive session types.  ...  We believe that this also shows the value of our deconstruction of recursive session types into well-understood primitives: we are guided immediately to a correct, compact, and general definition of duality  ... 
doi:10.1145/3022670.2951921 fatcat:su5ub5ycobdwdewal5ypif7pia
« Previous Showing results 1 — 15 out of 4,466 results