Inheriting Laws for Processes with States

DOI10.1007/978-3-540-73210-5_8MaRDI QIDQ3608883zbMATH OpenOpenAlexFDO

Authors Yi F. Chen

Publication date 6 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_8

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)

Recommendations

• A state-based approach to communicating processes
• Specification and (property) inheritance in CSP-OZ
• The laws of programming unify process calculi
• scientific article; zbMATH DE number 756078
• Specification and inheritance in CSP-OZ.

Cited in

(1)

• Semantic inheritance in unifying theories of programming

This page was built for publication: Inheriting Laws for Processes with States

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