CSP with Hierarchical State

DOI10.1007/978-3-642-00255-7_9zbMATH Open1211.68266OpenAlexW1562973860MaRDI QIDQ3605464FDOQ3605464

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

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

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?)
• Unifying theories for logic programming
• The origins of structural operational semantics
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Modelling and analysing neural networks using a hybrid process algebra
• 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
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• An operational semantics for object-oriented concepts based on the class hierarchy
• A formal semantics of extended hierarchical state transition matrices using CSP\#
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Test generation from state based use case models
• Title not available (Why is that?)
• Next-preserving branching bisimulation

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)