A refinement calculus for specifications in Hennessy-Milner logic with recursion
type: Item
instance of: scholarly article
title: A refinement calculus for specifications in Hennessy-Milner logic with recursion
zbMATH Open document ID: 0696.68037
DOI: 10.1007/BF01887208
author: Sören Holmström
published in: Formal Aspects of Computing
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 4141478
zbMATH Keywords: concurrency
zbMATH Keywords: specification and verification of processes
zbMATH Keywords: Hennessy-Milner Logic
zbMATH Keywords: specification language
zbMATH Keywords: refinement
zbMATH Keywords: CCS
MaRDI profile type: Publication
cites work: Q3321470
cites work: Q3343432
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Q4744245
cites work: Q3792217
cites work: A calculus of communicating systems
cites work: Calculi for synchrony and asynchrony
cites work: Q3694687
cites work: A proof-theoretic characterization of observational equivalence
cites work: Q3707371
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q3711741
description: scientific article; zbMATH DE number 4141478