scientific article
From MaRDI portal
Publication:2844822
zbMath1270.68078MaRDI QIDQ2844822
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105804888
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Relational Concurrent Refinement: Automata ⋮ More Relational Concurrent Refinement: Traces and Partial Relations ⋮ Model transformations across views ⋮ Relational concurrent refinement. III: Traces, partial relations and automata ⋮ Relational concurrent refinement. II: Internal operations and outputs
This page was built for publication:
