CSP with Hierarchical State

DOI10.1007/978-3-642-00255-7_9MaRDI QIDQ3605464zbMATH OpenOpenAlexFDO

Authors Robert Colvin, Ian Hayes

Publication date 24 February 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-642-00255-7_9

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

• scientific article; zbMATH DE number 1241718
• Structured CSP – A Process Algebra as an Institution
• scientific article; zbMATH DE number 1951182
• scientific article; zbMATH DE number 4094831
• A state-based approach to communicating processes

Cites work

• FM 2005: Formal Methods
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1354170 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 2080001 (Why is no real title available?)
• scientific article; zbMATH DE number 1487740 (Why is no real title available?)
• The origins of structural operational semantics
• Unifying theories for logic programming

Cited in

(12)

• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• Next-preserving branching bisimulation
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Modelling and analysing neural networks using a hybrid process algebra
• scientific article; zbMATH DE number 1241718 (Why is no real title available?)
• scientific article; zbMATH DE number 7314988 (Why is no real title available?)
• A semantics for behavior trees using CSP with specification commands
• Structural operational semantics through context-dependent behaviour
• Imperative process algebra and models of parallel computation
• Test generation from state based use case models
• An operational semantics for object-oriented concepts based on the class hierarchy
• A formal semantics of extended hierarchical state transition matrices using CSP\#

Describes a project that uses

Uses Software

• FDR2
• Circus

This page was built for publication: CSP with Hierarchical State

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