scientific article; zbMATH DE number 2086954

zbMath1057.68639MaRDI QIDQ4737562

Christie Bolton, Jim Davies

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2335/23350225.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

On using data abstractions for model checking refinements, Incompleteness of relational simulations in the blocking paradigm, Relational Concurrent Refinement: Automata, More Relational Concurrent Refinement: Traces and Partial Relations, Integrating a formal method into a software engineering process with UML and Java, Model transformations across views, Modelling Divergence in Relational Concurrent Refinement, The behavioural semantics of Event-B refinement, Relational concurrent refinement. III: Traces, partial relations and automata, Relational concurrent refinement. II: Internal operations and outputs