CSP with Hierarchical State

DOI10.1007/978-3-642-00255-7_9zbMath1211.68266OpenAlexW1562973860MaRDI QIDQ3605464

Ian J. Hayes, Robert J. Colvin

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)

Related Items (8)

Modelling and analysing neural networks using a hybrid process algebra ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ Structural operational semantics through context-dependent behaviour ⋮ A semantics for behavior trees using CSP with specification commands ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ Test generation from state based use case models ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Next-preserving branching bisimulation

Uses Software

• FDR2
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The origins of structural operational semantics
• FM 2005: Formal Methods

This page was built for publication: CSP with Hierarchical State