13,005 Hits in 3.0 sec

On Asynchronous Session Semantics [chapter]

Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
2011 Lecture Notes in Computer Science  
A new theory of bisimulations is introduced, distinct from either standard asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating  ...  inside each connection (session), augmented with asynchronous inspection of events (message arrivals).  ...  Properties of Asynchronous Session Bisimilarity Characterisation of Reduction Congruence. This subsection studies central properties of asynchronous session semantics.  ... 
doi:10.1007/978-3-642-21461-5_15 fatcat:flavr7omqjdy7pz6jqxy5dvs7i

On asynchronous eventful session semantics

2014 Mathematical Structures in Computer Science  
The new typed bisimulation theory developed for the ESP model is distinct from standard synchronous or asynchronous bisimulation, capturing the semantic nature of eventful session-based processes.  ...  Event-driven programming is one of the major paradigms in concurrent and communication-based programming, where events are typically detected as the arrival of messages on asynchronous channels.  ...  as the asynchronous semantics.  ... 
doi:10.1017/s096012951400019x fatcat:hvhpkklxdncvtahczajg5fkwc4

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side

Simon Castellan, Nobuko Yoshida
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
We further strengthen this correspondence, establishing finite definability of asynchronous strategies by the internal session π -calculus.  ...  Our main contribution is to fill a semantic gap between the synchrony of the (session) π -calculus and the asynchrony of game semantics, by developing an event-structure based game semantics for synchronous  ...  From the session types perspective, a link with causal game semantics could offer a causal account of asynchronous buffered session semantics [Gay and Vasconcelos 2010] and multiparty session types  ... 
doi:10.1145/3290340 fatcat:cg4s25foebdnxcrt4bcpna4h2y

On Urgency in Asynchronous Timed Session Types

Maurizio Murgia
2018 Electronic Proceedings in Theoretical Computer Science  
We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible.  ...  We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock-freedom is preserved when passing from synchronous to asynchronous  ...  Below, we sketch a proof of some relations between synchronous and asynchronous semantics. Namely, asynchronous semantics simulates the synchronous one.  ... 
doi:10.4204/eptcs.279.9 fatcat:ycrqhghhijacvadshiotifac4e

System support for computer mediated multimedia collaborations

Harrick M. Vin, P. Venkat Rangan, Mon-Song Chen
1992 Proceedings of the 1992 ACM conference on Computer-supported cooperative work - CSCW '92  
The higher two levels of abstractions are ses.slorrs, which represent collections of semantically related nuxtla streams, and coq~erenc<.r, which represent temporally related sequences of sessions.  ...  Altcra(lorls ofmodes ofparticipahons may also need I() lx cons(raincd depmfmg on lhe collaboratlott semantics (c.g..  ...  of these operations depend on synchronous or asynchronous nature of the streams being manipulated.  ... 
doi:10.1145/143457.143480 dblp:conf/cscw/VinRC92 fatcat:tiu7qm6hmna2bljvcgqvygmbsa

Towards a domain-specific aspect language for leasing in mobile ad hoc networks

Elisa Gonzalez Boix, Thomas Cleenewerk, Jessie Dedecker, Wolfgang De Meuter
2008 Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages - DSAL '08  
However, applying the leasing semantics on each remote object reference places a considerable burden on developers.  ...  This paper focusses on the software engineering issues that arise using language support for leasing.  ...  Objects owned by different actors can only send asynchronous messages to one another.  ... 
doi:10.1145/1404927.1404933 fatcat:avm6wkgfdfhs3a5ydqha246q6a

A Universal Session Type for Untyped Asynchronous Communication

Stephanie Balzer, Frank Pfenning, Bernardo Toninho, Michael Wagner
2018 International Conference on Concurrency Theory  
In this paper, we show that shared channels with a corresponding sharing semantics (based on the language SILL S developed in prior work) are enough to embed the untyped asynchronous π-calculus via a universal  ...  shared session type U S .  ...  To establish the operational correctness of our encoding, we consider an asynchronous semantics for SILL S .  ... 
doi:10.4230/lipics.concur.2018.30 dblp:conf/concur/BalzerPT18 fatcat:zsy5536sx5hv3pnlchl733ikxe

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 present two semantics for session types: one synchronous (Def. 2) and one asynchronous (Def. 3). In both, an internal choice first commits to one of the branches !a.T , before enabling !a.  ... 
doi:10.1007/978-3-662-44584-6_28 fatcat:gzpfg2kwsrc3xjkfuybv572cra

Asynchronous Timed Session Types [chapter]

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2019 Lecture Notes in Computer Science  
The composition of dual (timed asynchronous) types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available.  ...  Our calculus increases the modelling power of extant calculi on timed sessions, adding a blocking receive primitive with timeout and a primitive that consumes an arbitrary amount of time in a given range  ...  Asynchronous Session Types Semantics and Subtyping We give a compositional semantics of types.  ... 
doi:10.1007/978-3-030-17184-1_21 fatcat:i6xd4tyzkjdrtnrjbgasufzthe

Integrating Synchronous and Asynchronous Interactions in Groupware Applications [chapter]

Nuno Preguiça, J. Legatheaux Martins, Henrique Domingos, Sérgio Duarte
2005 Lecture Notes in Computer Science  
This analysis shows that, for some applications, it is necessary to rely on different data sharing techniques in synchronous and asynchronous settings.  ...  It is common that, in a long-term asynchronous collaborative activity, groups of users engage in occasional synchronous sessions.  ...  Moreover, relying on a single replica for synchronous sessions may lead to unacceptable latency. In Groove [17], while some applications can only be used in asynchronous mode (e.g.  ... 
doi:10.1007/11560296_7 fatcat:t447ftj6ifcopb4mvvrmjhw4q4

Reversible Sessions Using Monitors

Claudio A. Mezzina, Jorge A. Pérez
2016 Electronic Proceedings in Theoretical Computer Science  
This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols.  ...  A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.  ...  Our discovery is that known (run-time) mechanisms used to support asynchronous (queue-based) semantics and monitoring can also support reversible protocol actions.  ... 
doi:10.4204/eptcs.211.6 fatcat:3q3z3tfzl5ftpotvki3aaofqd4

On the Preciseness of Subtyping in Session Types

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2014 Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14  
This paper formalises preciseness (i.e. both soundness and completeness) of subtyping for mobile processes and studies it for the synchronous and the asynchronous session calculi.  ...  Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory.  ...  We also demonstrate its applicability to two session type disciplines, the synchronous and the asynchronous one.  ... 
doi:10.1145/2643135.2643138 dblp:conf/ppdp/ChenDY14 fatcat:7cbet4s3xvfplkxq4fya4257z4

Object-oriented design and implementation of the multi-agent system AgentTeam (poster session)

Bora Ý. Kumova
2000 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00  
Node Semantic Net AgentCom Inference Mechanism  ...  Communication between agents, which is compiled to one code, is synchronous. Communication between agents over the network can be established optionally in asynchronous mode. Some Scenarios.  ... 
doi:10.1145/367845.367974 dblp:conf/oopsla/Kumova00 fatcat:j7w27trlmngwfo6usyehtx4lqy

Tools for enhancing distributed, asynchronous collaboration in army operations

Alicia Borgman, Phil Smith, Dustin Johnson
2009 2009 IEEE International Conference on Systems, Man and Cybernetics  
Advances in digital communication technologies have had widespread benefits for distributed and asynchronous collaboration.  ...  This paper describes an effort to use semantic representations of battlefield data to provide commanders information that is relevant to their needs.  ...  TITAN also allows commanders and planning staff to take part in distributed, asynchronous, collaborative planning sessions.  ... 
doi:10.1109/icsmc.2009.5346823 dblp:conf/smc/BorgmanSJ09 fatcat:axahkejzunbjpgjp73tcbxvm5m

Type-Safe Eventful Sessions in Java [chapter]

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
2010 Lecture Notes in Computer Science  
The formalism captures the semantics of asynchronous, event-driven sessions through two new constructs, the message arrival predicate and session typecase.  ...  In the context of session programming, this means we need a framework where we collect multiple channels of different session types, asynchronously check for the arrival of messages on these channels,  ...  The calculus, which we call ESP (Eventful Session Pi-calculus), is the π-calculus with session primitives [14, 23] based on asynchronous communication semantics [13] , to which we add minimal extensions  ... 
doi:10.1007/978-3-642-14107-2_16 fatcat:bw57rvpmvfff5divca4xv3jiha
« Previous Showing results 1 — 15 out of 13,005 results