Results 91 to 100 of about 14,163,398 (293)
Objects as session-typed processes [PDF]
Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, 2015 A key idea in object-oriented programming is that objects encapsulate state and interact with each other by message exchange. This perspective suggests a model of computation that is inherently concurrent (to facilitate simultaneous message exchange) and that accounts for the effect of message exchange on an object's state (to express valid sequences ...
Stephanie Balzer, Frank Pfenning
openaire +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Determining substitutability of cloud services supported by semantically extended type theory
Tongxin xuebao, 2016 In cloud environments, the high dynamics and more service failures were great obstacles to cloud applications, service substitution was a key research issue and also was a main solution to these challenges.
Xian-qing WANG +5 more
doaj +2 more sources
Session Types Go Dynamic or How to Verify Your Python Conversations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper presents the first implementation of session types in a dynamically-typed language - Python. Communication safety of the whole system is guaranteed at runtime by monitors that check the execution traces comply with an associated protocol ...
Rumyana Neykova
doaj +1 more source
From tumor‐centric to ecosystem‐based hypotheses in brain tumor research and care
Molecular Oncology, EarlyView.Primary brain tumors, whether in adults or children, present a major challenge because of their dramatic prognosis and the ongoing lack of efficient therapeutic approaches. In recent years, a shift has occurred from tumor‐centric concepts to a more holistic view of these tumors as dynamic ecosystems.
Julie Gavard +8 more
wiley +1 more source
A Semantic Deconstruction of Session Types [PDF]
, 2014 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.
Massimo Bartoletti +2 more
openaire +1 more source
Polymorphic Typestate for Session Types
International Symposium on Principles and Practice of Declarative Programming, 2023 29 pages.
Hannes Saffrich, Peter Thiemann 0001
openaire +2 more sources
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols [PDF]
European Symposium on Programming, 2020 Compositional methods are central to the development and verification of software systems. They allow breaking down large systems into smaller components, while enabling reasoning about the behaviour of the composed system.
Alex C. Keizer +2 more
semanticscholar +1 more source
FEBS Open Bio, EarlyView.RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
Multiparty Symmetric Sum Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 This paper introduces a new theory of multiparty session types based on symmetric sum types, by which we can type non-deterministic orchestration choice behaviours.
Lasse Nielsen +2 more
doaj +1 more source