scientific article

zbMath0641.68084MaRDI QIDQ3782795

Lucia Pomello

Publication date: 1987

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

zbMATH Keywords

behaviourobservationsC/E systemsafe net systems

Mathematics Subject Classification ID

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

Related Items

Concurrent bisimulations in Petri nets, Maximality preserving bisimulation