Results 251 to 260 of about 14,163,398 (293)

Different Behavioral Measures of Conditioned Magazine Activity Can Tell Different Stories about Brain Function. [PDF]

eNeuro
Volz SG, Loewinger G, Marquez I, Fevola S, Kang M, Reverte I, Krishnan A, Gardner MPH, Iordanova MD, Esber GR.   +9 more
europepmc   +1 more source

Session Types

Session types are type-theoretic specifications of communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct. Over recent decades, the topic has become a large and active research area within the field of programming language theory and ...
Simon J. Gay, Vasco T. Vasconcelos
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Generalising Projection in Asynchronous Multiparty Session Types

International Conference on Concurrency Theory, 2021
Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying message passing software systems. In the theory of MSTs, a global type specifies the interaction among the roles at the global level.
R. Majumdar, M. Mukund, F. Stutz, D. Zufferey   +3 more
semanticscholar   +1 more source

A Decade of Dependent Session Types

ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2021
We begin this brief retrospective of our work by thanking the PPDP Steering Committee for awarding the “PPDP 10 Year Most Influential Paper Award” to our paper on dependent session types [22]. This abstract gives an account of the context that led to our
Bernardo Toninho, Luís Caires, F. Pfenning   +2 more
semanticscholar   +1 more source

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types

NASA Formal Methods
A compromised system component can issue message sequences that are legal while also leading the overall system into unsafe states. Such stealthy attacks are challenging to characterize, because message interfaces in standard languages specify each ...
Arthur Amorim, Max Taylor, G. Leavens, B. Harrison, L. Joneckis, Trevor Kann   +5 more
semanticscholar   +1 more source

Session types for Rust

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015
We present a library for specifying session types implemented in Rust, and discuss practical use cases through examples and demonstrate how session types may be used in a large-scale application. Specifically we adapt parts of the ad-hoc communication patterns in the Servo browser engine to use session typed channels.
Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen   +2 more
openaire   +2 more sources