scientific article
From MaRDI portal
Publication:4023588
zbMath0762.68003MaRDI QIDQ4023588
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (11)
Bounded concurrency ⋮ Unification and combination of a class of traversal strategies made with pattern matching and fixed-points ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels ⋮ Unnamed Item ⋮ Automating the refinement of specifications for distributed systems via syntactic transformations ⋮ Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B ⋮ Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B ⋮ Model Checking for Action Abstraction ⋮ Introducing extra operations in refinement ⋮ Verification of compliance for multilevel models in individual trace semantics
This page was built for publication:
