Process algebra with guards: Combining hoare logic with process algebra
type: Item
instance of: scholarly article
title: Process algebra with guards: Combining hoare logic with process algebra
zbMATH Open document ID: 0806.68078
DOI: 10.1007/BF01221097
author: Jan Friso Groote
author: Alban Ponse
published in: Formal Aspects of Computing
publication date: 1994-06-29T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 598167
zbMATH Keywords: process algebra with guards
zbMATH Keywords: operational semantics
zbMATH Keywords: bisimulation
zbMATH Keywords: Hoare logic
MaRDI profile type: Publication
cites work: Algèbre de processus et synchronisation
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Ten years of Hoare's logic: A survey. II: Nondeterminism
cites work: Q3899466
cites work: Global renaming operators in concrete process algebra
cites work: Real time process algebra
cites work: Q3776606
cites work: Q5186720
cites work: Process algebra for synchronous communication
cites work: Q3727367
cites work: Q3702500
cites work: Process Algebra
cites work: Q4342092
cites work: Q4144755
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: A proof system for communicating processes with value-passing
cites work: Laws of programming
cites work: An axiomatic basis for computer programming
cites work: Q3777424
cites work: Q3862379
cites work: Q3735051
cites work: Q4124327
cites work: Q3992568
cites work: An axiomatic proof technique for parallel programs
cites work: Q3907077
cites work: Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule
cites work: Equational bases of boolean algebras
cites work: A generalization of Owicki-Gries's Hoare logic for a concurrent while language
full work available at URL: https://doi.org/10.1007/bf01221097
OpenAlex ID: W2911752321
description: scientific article; zbMATH DE number 598167