Interfaces between languages for communicating systems

DOI10.1007/3-540-55719-9_111zbMath1425.68300OpenAlexW1505911884MaRDI QIDQ5204354

Ernst-Ruediger 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)

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and top-down design of distributed systems
• The Munich project CIP. Volume II: The program transformation system CIP- S
• 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
• Proof of correctness of data representations
• The laws of Occam programming
• Predicative programming Part II
• Laws of programming
• Nets, Terms and Formulas

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