Ordered SOS process languages for branching and eager bisimulations
type: Item
instance of: scholarly article
title: Ordered SOS process languages for branching and eager bisimulations
zbMATH Open document ID: 1012.68116
DOI: 10.1016/S0890-5401(02)93161-5
author: Irek Ulidowski
author: Iain Phillips
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1853288
MaRDI profile type: Publication
cites work: Observation equivalence as a testing equivalence
cites work: Turning SOS rules into equations
cites work: Axiomatizing prefix iteration with silent steps
cites work: CPO models for compact GSOS languages
cites work: Q4375631
cites work: Q4727412
cites work: Term-rewriting systems with rule priorities
cites work: Process Algebra
cites work: Process algebra for synchronous communication
cites work: Structural operational semantics for weak bisimulations
cites work: Bisimulation can't be traced
cites work: Embedding as a tool for language comparison
cites work: Rooted branching bisimulation as a congruence
cites work: Q4874391
cites work: Branching time and abstraction in bisimulation semantics
cites work: Transition system specifications with negative premises
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Q3997501
cites work: A process algebra for timed systems
cites work: Q3777424
cites work: A calculus of communicating systems
cites work: Q3929062
cites work: Q3992568
cites work: The algebra of timed processes, ATP: Theory and application
cites work: Refusal testing
cites work: LCF considered as a programming language
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Finite axiom systems for testing preorder and De Simone process languages
cites work: Q4536608
cites work: Q4847024
cites work: Bisimulation and divergence
cites work: Q4733394
full work available at URL: s0890-5401(02)93161-5
OpenAlex ID: W2090881074
description: scientific article; zbMATH DE number 1853288