A modal logic for message passing processes
type: Item
instance of: scholarly article
title: A modal logic for message passing processes
zbMATH Open document ID: 0827.68102
DOI: 10.1007/BF01178384
author: Xin Xin Liu
author: Matthew Hennessy
published in: Acta Informatica
publication date: 1995-07-24T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 778293
zbMATH Keywords: first-order modal logic
zbMATH Keywords: symbolic operational semantics
describes a project that uses: LOTOS
MaRDI profile type: Publication
cites work: A proof system for communicating processes with value-passing
cites work: Q3792217
cites work: Q3992568
cites work: Modal logics for mobile processes
cites work: Modal logics for communicating systems
full work available at URL: https://doi.org/10.1007/bf01178384
OpenAlex ID: W4234959115
description: scientific article; zbMATH DE number 778293