Interfaces between languages for communicating systems

DOI10.1007/3-540-55719-9_111MaRDI QIDQ5204354zbMATH OpenOpenAlexFDO

Authors Ernst-Rüdiger Olderog

Publication date 4 December 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55719-9_111

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) 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)

Recommendations

• Behavioral interface specification languages
• scientific article; zbMATH DE number 1790380
• Programming languages for interactive computing
• scientific article; zbMATH DE number 2080579
• A language for linking modules into systems
• Towards a programming language for interaction nets

Cites work

• A calculus of communicating systems
• A calculus of durations
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Finiteness is mu-ineffable
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Laws of programming
• Nets, Terms and Formulas
• Predicative programming Part II
• Proof of correctness of data representations
• Specification and top-down design of distributed systems
• The laws of Occam programming
• The Munich project CIP. Volume II: The program transformation system CIP- S

Cited in

(2)

• scientific article; zbMATH DE number 4039266 (Why is no real title available?)
• Principles of Distributed Systems

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Interfaces between languages for communicating systems

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