A case study in transformational design of concurrent systems

DOI10.1007/3-540-56610-4_58zbMATH Open1497.68350OpenAlexW1592306062MaRDI QIDQ5044728FDOQ5044728

Authors: Stephan Rössig, Ernst-Rüdiger Olderog 

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_58

Recommendations

• scientific article; zbMATH DE number 3997155
• On transformations of concurrent-object programs
• On transformations of concurrent object programs
• Transforming sequential systems into concurrent systems
• scientific article; zbMATH DE number 177782

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On interprocess communication. II: Algorithms
• Title not available (Why is that?)
• Process Algebra
• Nets, Terms and Formulas
• The Munich project CIP. Volume II: The program transformation system CIP- S
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• A transformation system for concurrent processes
• Title not available (Why is that?)
• Transformations of sequential specifications into concurrent specifications by synchronization guards

Uses Software

• Z
• UNITY

This page was built for publication: A case study in transformational design of concurrent systems

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