scientific article

zbMath1047.68088MaRDI QIDQ3045269

Mogens Nielsen, P. S. Thiagarajan

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2360/23600335.htm

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

Characterising spectra of equivalences for event structures, logically ⋮ A counterexample to Thiagarajan's conjecture on regular event structures ⋮ Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict ⋮ Unnamed Item ⋮ Conflict vs causality in event structures