A technique for specifying and refining TCSP processes by using guards and liveness conditions

DOI10.1007/3-540-56610-4_74zbMATH Open1497.68318OpenAlexW1481198338MaRDI QIDQ5044746FDOQ5044746

Authors:

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_74

Recommendations

• scientific article; zbMATH DE number 3926214
• Process simulation and refinement
• Timewise refinement for communicating processes
• Timewise refinement for communicating processes
• Specification and Proof in Real Time CSP

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?)
• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• Proof of correctness of data representations
• A Theory of Communicating Sequential Processes
• Process simulation and refinement
• Partial abstract types

This page was built for publication: A technique for specifying and refining TCSP processes by using guards and liveness conditions

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