The compression structure of a process

DOI10.1016/J.IPL.2005.03.015zbMath1184.68350OpenAlexW2102697165MaRDI QIDQ1044743

Thuy Duong Vu

Publication date: 18 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.03.015

zbMATH Keywords

process algebrabranching bisimulationlabeled transition systemsilent stepbranching structurecompression structureorthogonal bisimulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Related Items (1)

Deciding orthogonal bisimulation

Cites Work

• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• Branching time and orthogonal bisimulation equivalence
• Process algebra for synchronous communication
• Applications of Process Algebra
• Branching time and abstraction in bisimulation semantics
• The meaning of negative premises in transition system specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The compression structure of a process