A reduction semantics for direct-style asynchronous observables

DOI10.1016/J.JLAMP.2019.03.002MaRDI QIDQ2423763zbMATH OpenOpenAlexFDO

Authors Philipp Haller, Heather Miller

Publication date 20 June 2019

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2019.03.002

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• An equational modeling of asynchronous concurrent programming
• On asynchronous eventful session semantics
• scientific article; zbMATH DE number 6774232
• Synchronizing the asynchronous
• Verifiable design of asynchronous software

Cites work

• scientific article; zbMATH DE number 997344 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A Complete Guide to the Future
• A foundation for actor computation
• A syntactic approach to type soundness
• MULTILISP: a language for concurrent symbolic computation
• Multiparty Asynchronous Session Types
• Scala actors: Unifying thread-based and event-based programming
• Types and programing languages

Cited in

(1)

• An abstract machine for asynchronous programs with closures and priority queues

Describes a project that uses

Uses Software

• TALx86
• Welterweight Java
• MJ
• JCobox
• ABS
• Featherweight Java
• Cyclone
• Multilisp
• Erlang
• JoCaml

This page was built for publication: A reduction semantics for direct-style asynchronous observables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2423763)