A causal semantics for CCS via rewriting logic
type: Item
instance of: scholarly article
title: A causal semantics for CCS via rewriting logic
zbMATH Open document ID: 1026.68075
DOI: 10.1016/S0304-3975(01)00165-7
author: Fabio Gadducci
author: Pierpaolo Degano
author: Corrado Priami
published in: Theoretical Computer Science
publication date: 2002-07-31T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1774101
zbMATH Keywords: rewriting logic
zbMATH Keywords: process algebra
zbMATH Keywords: causal semantics
MaRDI profile type: Publication
cites work: Process algebra for synchronous communication
cites work: Q3750994
cites work: Q3805920
cites work: Q4222997
cites work: CPO models for infinite term rewriting
cites work: Q3839071
cites work: Relating two categorical models of term rewriting
cites work: A partial ordering semantics for CCS
cites work: Perspectives of System Informatics
cites work: Axiomatizing the algebra of net computations and processes
cites work: Proved trees
cites work: Non-interleaving semantics for mobile processes
cites work: Q4222848
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Q3777424
cites work: Comparing locality and causality based equivalences
cites work: Q4222859
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Rewriting logic as a semantic framework for concurrency: a progress report
cites work: Q3992568
cites work: A calculus of mobile processes. II
description: scientific article; zbMATH DE number 1774101