A functional programming approach to the specification and verification of concurrent systems
type: Item
instance of: scholarly article
title: A functional programming approach to the specification and verification of concurrent systems
zbMATH Open document ID: 0694.68015
DOI: 10.1007/BF01887211
author: Peter Dybjer
author: Herbert P. Sander
published in: Formal Aspects of Computing
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 4137305
zbMATH Keywords: functional programming
zbMATH Keywords: Kahn-networks
zbMATH Keywords: greatest fixed point
zbMATH Keywords: \(\mu\)- calculus
zbMATH Keywords: non-deterministic processes
zbMATH Keywords: alternating bit protocol
describes a project that uses: HOL
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: Q3912779
cites work: Nondeterministic data flow programs: How to avoid the merge anomaly
cites work: Q3685173
cites work: Comparing integrated and external logics of functional programs
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q4168046
cites work: A refinement calculus for specifications in Hennessy-Milner logic with recursion
cites work: Q3771648
cites work: Q4054644
cites work: Correspondence between ALGOL 60 and Church's Lambda-notation
cites work: Q3792217
cites work: Q3992568
cites work: Q5624635
cites work: Finiteness is mu-ineffable
cites work: Q3042377
cites work: The foundation of a generic theorem prover
full work available at URL: https://doi.org/10.1007/bf01887211
OpenAlex ID: W3015550054
description: scientific article; zbMATH DE number 4137305