Behavioural semantics for asynchronous components

DOI10.1016/J.JLAMP.2017.02.003MaRDI QIDQ2397038zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 29 May 2017

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.2017.02.003

zbMATH Keywords

distributed systemsfuturesbehavioural specificationsoftware components

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Continuation Semantics for Asynchronous Concurrency
• scientific article; zbMATH DE number 995891
• Asynchronous wreath product and cascade decompositions for concurrent behaviours
• On asynchronous eventful session semantics
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Specifying stateful asynchronous properties for distributed programs
• scientific article; zbMATH DE number 1760051
• Assertional and behavioral approaches to concurrency

Cites work

• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• A Complete Guide to the Future
• A foundation for actor computation
• A theory for the composition of concurrent processes
• Actor languages. Their syntax, semantics, translation, and equivalence
• Asynchronous and deterministic objects
• Behavioural semantics for asynchronous components
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• Programming distributed computing systems. A foundational approach
• Synchronous, asynchronous, and causally ordered communication
• Threaded behavior protocols

Cited in

(5)

• Behavioural semantics for asynchronous components
• Refinements for open automata
• scientific article; zbMATH DE number 1787173 (Why is no real title available?)
• Compositional equivalences based on open pNets
• Timed-pNets: a communication behavioural semantic model for distributed systems

Describes a project that uses

Uses Software

• D-Finder
• Ptolemy
• Creol
• SOFA 2.0
• SACO
• ABS
• JCobox
• AmbientTalk

This page was built for publication: Behavioural semantics for asynchronous components

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