Behavioural semantics for asynchronous components

DOI10.1016/j.jlamp.2017.02.003zbMath1407.68271OpenAlexW188777521MaRDI QIDQ2397038

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

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

Related Items (3)

Timed-pNets: a communication behavioural semantic model for distributed systems ⋮ Behavioural semantics for asynchronous components ⋮ Compositional equivalences based on open pNets

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Threaded behavior protocols
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Actor languages. Their syntax, semantics, translation, and equivalence
• Behavioural semantics for asynchronous components
• A Theory for the Composition of Concurrent Processes
• Asynchronous and deterministic objects
• KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
• A foundation for actor computation
• Synchronous, asynchronous, and causally ordered communication
• A Complete Guide to the Future

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