scientific article; zbMATH DE number 1759617

zbMath0999.68143MaRDI QIDQ4536608

Irek Ulidowski, Shoji Yuen

Publication date: 25 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ On cool congruence formats for weak bisimulations ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence ⋮ Divide and congruence III: Stability & divergence ⋮ Ordered SOS process languages for branching and eager bisimulations

This page was built for publication: