Behavioural semantics for asynchronous components

DOI10.1016/J.JLAMP.2017.02.003zbMATH Open1407.68271OpenAlexW188777521MaRDI QIDQ2397038FDOQ2397038

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

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

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)

Cites Work

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

Cited In (5)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• Behavioural semantics for asynchronous components
• Compositional equivalences based on open pNets
• Title not available (Why is that?)
• Refinements for open automata

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)