Inheriting Laws for Processes with States

DOI10.1007/978-3-540-73210-5_8zbMATH Open1213.68368OpenAlexW1602650252MaRDI QIDQ3608883FDOQ3608883

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)

Cited In (1)

• Semantic inheritance in unifying theories of programming

   Recommendations

• A state-based approach to communicating processes 👍 👎
• Specification and (property) inheritance in CSP-OZ 👍 👎
• The Laws of Programming Unify Process Calculi 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal Methods for Components and Objects 👍 👎

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)