A format for semantic equivalence comparison
type: Item
instance of: scholarly article
title: A format for semantic equivalence comparison
zbMATH Open document ID: 1070.68082
DOI: 10.1016/S0304-3975(03)00129-4
author: Vashti Galpin
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2110990
zbMATH Keywords: Process algebra
zbMATH Keywords: Structural operational semantics
zbMATH Keywords: Comparison of semantic equivalences
MaRDI profile type: Publication
cites work: GSOS and finite labelled transition systems
cites work: Turning SOS rules into equations
cites work: Q4940887
cites work: Towards action-refinement in process algebras
cites work: Adding action refinement to a finite process algebra
cites work: CPO models for compact GSOS languages
cites work: Structural operational semantics for weak bisimulations
cites work: Bisimulation can't be traced
cites work: The meaning of negative premises in transition system specifications
cites work: A theory of processes with localities
cites work: A general conservative extension theorem in process algebras with inequalities
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Q3842791
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: A conservative look at operational semantics with variable binding
cites work: Q4035238
cites work: Transition system specifications with negative premises
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Comparing locality and causality based equivalences
cites work: Architectural CCS
cites work: Variable binding operators in transition system specifications
cites work: Q3992568
cites work: Q4385545
cites work: A calculus of mobile processes. II
cites work: Q4941890
cites work: Q4818861
cites work: Q4847024
full work available at URL: s0304-3975(03)00129-4
OpenAlex ID: W1992639690
description: scientific article; zbMATH DE number 2110990